Control-flow analysis of function calls and returns by abstract interpretation
From MaRDI portal
Publication:5891553
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
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