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

DOI10.1016/j.ic.2011.11.005zbMath1242.68054MaRDI QIDQ5891553

Thomas P. Jensen, Jan Midtgaard

Publication date: 24 May 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.11.005

zbMATH Keywords

control-flow analysis; abstract interpretation

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Co-induction in relational semantics
• Definitional interpreters for higher-order programming languages
• Safety analysis versus type inference
• Extracting a data flow analyser in constructive logic
• Control-flow analysis of functional programs
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• Abstract interpretation and application to logic programs
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• CPS transformation of flow information
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks
• Systematic realisation of control flow analyses for CML
• Environment analysis via ΔCFA
• Making abstract interpretations complete
• The Mechanical Evaluation of Expressions
• Control-flow analysis of function calls and returns by abstract interpretation