A Calculational Approach to Control-Flow Analysis by Abstract Interpretation

DOI10.1007/978-3-540-69166-2_23MaRDI QIDQ3522082zbMATH OpenOpenAlexFDO

Authors Jan Midtgaard, Thomas Jensen

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_23

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Control-flow analysis of function calls and returns by abstract interpretation
• Control-flow analysis of function calls and returns by abstract interpretation
• Demand control-flow analysis
• Abstract interpreters for free
• A Galois connection calculus for abstract interpretation

Cited in

(15)

• Constructive Galois connections
• scientific article; zbMATH DE number 1953276 (Why is no real title available?)
• Control-flow analysis of function calls and returns by abstract interpretation
• Galois Connections for Recursive Types
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• CFA2: A Context-Free Approach to Control-Flow Analysis
• Control-flow analysis of function calls and returns by abstract interpretation
• Reachability-based acyclicity analysis by abstract interpretation
• Abstract interpreters for free
• Inferring functional properties of matrix manipulating programs by abstract interpretation
• Static analysis by abstract interpretation: a mathematical programming approach
• Demand control-flow analysis
• Systematic realisation of control flow analyses for CML
• Improving flow analyses via ΓCFA
• scientific article; zbMATH DE number 1479617 (Why is no real title available?)

This page was built for publication: A Calculational Approach to Control-Flow Analysis by Abstract Interpretation

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