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

DOI10.1016/J.IC.2011.11.005MaRDI QIDQ5891553zbMATH OpenOpenAlexFDO

Authors Jan Midtgaard, Thomas Jensen

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

abstract interpretationcontrol-flow analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Control-flow analysis of function calls and returns by abstract interpretation
• CFA2: A Context-Free Approach to Control-Flow Analysis
• CFA2: a context-free approach to control-flow analysis
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• Pushdown control-flow analysis for free

Cites work

• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• Abstract interpretation and application to logic programs
• Abstract Interpretation Frameworks
• Co-induction in relational semantics
• Control-flow analysis of function calls and returns by abstract interpretation
• Control-flow analysis of functional programs
• CPS transformation of flow information
• Definitional interpreters for higher-order programming languages
• Environment analysis via \(\Delta\)CFA
• Extracting a data flow analyser in constructive logic
• scientific article; zbMATH DE number 3735091 (Why is no real title available?)
• scientific article; zbMATH DE number 3755850 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• Making abstract interpretations complete
• Safety analysis versus type inference
• Syntactic accidents in program analysis: on the impact of the CPS transformation
• Systematic design of program transformation frameworks by abstract interpretation
• Systematic realisation of control flow analyses for CML
• The Mechanical Evaluation of Expressions

Cited in

(5)

• Control-flow analysis of functional programs
• CFA2: a context-free approach to control-flow analysis
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• scientific article; zbMATH DE number 1479617 (Why is no real title available?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5891553)