Matthew Might, Yannis Smaragdakis, David Van Horn. Resolving and exploiting the ::::k::::-CFA paradox: illuminating functional vs. object-oriented program analysis. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 305-315, ACM, 2010. [doi]
Abstract is missing.