Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
Existential Label Flow Inference Via CFL Reachability
SAS, 2006.
@inproceedings{SAS-2006-PratikakisFH, author = "Polyvios Pratikakis and Jeffrey S. Foster and Michael Hicks", booktitle = "{Proceedings of the 13th International Static Analysis Symposium}", doi = "10.1007/11823230_7", isbn = "3-540-37756-5", pages = "88--106", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Existential Label Flow Inference Via CFL Reachability}", volume = 4134, year = 2006, }