Matthew Might, Yannis Smaragdakis, David Van Horn
Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis
PLDI, 2010.
@inproceedings{PLDI-2010-MightSH, author = "Matthew Might and Yannis Smaragdakis and David Van Horn", booktitle = "{Proceedings of the 31st Conference on Programming Language Design and Implementation}", doi = "10.1145/1806596.1806631", editor = "Benjamin G. Zorn and Alexander Aiken", isbn = "978-1-4503-0019-3", pages = "305--315", publisher = "{ACM}", title = "{Resolving and exploiting the \emph{k}-CFA paradox: illuminating functional vs. object-oriented program analysis}", year = 2010, }