Abstract interpreters for free

DOI10.1007/978-3-642-15769-1_25MaRDI QIDQ4930742zbMATH OpenOpenAlexFDO

Authors Matthew Might

Publication date 1 October 2010

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15769-1_25

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Systematic abstraction of abstract machines
• scientific article; zbMATH DE number 1390341
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• Abstracting abstract machines
• Abstract interpretation and application to logic programs

Cited in

(5)

• Logical approximation for program analysis
• Systematic abstraction of abstract machines
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• Constructing Specialized Shape Analyses for Uniform Change

This page was built for publication: Abstract interpreters for free

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