Control-flow analysis of functional programs

DOI10.1145/2187671.2187672zbMath1293.68074OpenAlexW2046656770MaRDI QIDQ2875080

Jan Midtgaard

Publication date: 13 August 2014

Published in: ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2187671.2187672

zbMATH Keywords

control-flow analysishigher-order functions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (3)

Systematic abstraction of abstract machines ⋮ Control-flow analysis of function calls and returns by abstract interpretation ⋮ Abstract allocation as a unified approach to polyvariance in control-flow analyses

This page was built for publication: Control-flow analysis of functional programs