Demand Control-Flow Analysis

Kimball Germane, Jay McCarthy, Michael D. Adams, and Matthew Might

Status: Published


Points-to analysis manifests in a functional setting as control-flow analysis. Despite the ubiquity of demand points-to analyses, there are no analogous demand control-flow analyses for functional languages in general. We present demand 0CFA, a demand control-flow analysis that offers clients in a functional setting the same pricing model that demand points-to analysis clients enjoy in an imperative setting. We establish demand 0CFA’s correctness via an intermediary exact semantics, demand evaluation, that can potentially support demand variants of more-precise analyses.


Kimball Germane, Jay McCarthy, Michael D. Adams, and Matthew Might. Demand control-flow analysis. In Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, volume 11388 of Lecture Notes in Computer Science, pages 226–246. Springer International Publishing, January 2019. ISBN 978-3-030-11245-5. doi: 10.1007/978-3-030-11245-5_11.

BibTeX Entry

  author = {Germane, Kimball and McCarthy, Jay and Adams, Michael D. and Might, Matthew},
  title = {Demand Control-Flow Analysis},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International Conference, {VMCAI} 2019},
  pages = {226--246},
  year = {2019},
  volume = {11388},
  series = {Lecture Notes in Computer Science},
  month = jan,
  publisher = {Springer International Publishing},
  isbn = {978-3-030-11245-5},
  doi = {10.1007/978-3-030-11245-5\_11},