Publications
Export 1 results:
Author [ Title] Type Year Filters: Keyword is control-flow analysis [Clear All Filters]
2010. Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.