Ranjit Jhala, Rupak Majumdar
Interprocedural analysis of asynchronous programs
POPL, 2007.
@inproceedings{POPL-2007-JhalaM, author = "Ranjit Jhala and Rupak Majumdar", booktitle = "{Proceedings of the 34th Symposium on Principles of Programming Languages}", doi = "10.1145/1190216.1190266", editor = "Martin Hofmann and Matthias Felleisen", isbn = "1-59593-575-4", pages = "339--350", publisher = "{ACM}", title = "{Interprocedural analysis of asynchronous programs}", year = 2007, }