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.
, , , and . 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.
@inproceedings{germane2019demand,
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},
}