might-2010-resolving:
  type: article
  title: 'Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis'
  author:
  - Might, Matthew
  - Smaragdakis, Yannis
  - Horn, David Van
  date: 2010-06
  page-range: 305-315
  serial-number:
    doi: 10.1145/1806596.1806631
  parent:
    type: proceedings
    title: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation
    publisher: ACM