Control-flow analysis of function calls and returns by abstract interpretation

DOI10.1145/1596550.1596592zbMath1302.68186OpenAlexW2048802511MaRDI QIDQ5892027

Thomas P. Jensen, Jan Midtgaard

Publication date: 6 January 2015

Published in: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00574944/file/ICFP09-ANFCFA.pdf

zbMATH Keywords

control-flow analysisabstract interpretationcontinuation-passing styledirect styleconstraint-based analysistail-call optimization

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Systematic abstraction of abstract machines ⋮ Control-flow analysis of function calls and returns by abstract interpretation

This page was built for publication: Control-flow analysis of function calls and returns by abstract interpretation