Demand Control-Flow Analysis
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.
Sun 13 JanDisplayed time zone: Belfast change
16:00 - 17:30
|Demand Control-Flow Analysis|
|Effect-driven Flow Analysis|
|Relatively Complete Pushdown Analysis of Escape Continuations|