scientific article; zbMATH DE number 2087617

MaRDI QIDQ4738461zbMATH OpenFDO

Authors Patrick Cousot

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2318/23180002.htm

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Principles of abstract interpretation
• Abstract interpretation
• Abstract interpretation from a denotational-semantics perspective
• scientific article; zbMATH DE number 3901998
• On the power of abstract interpretation
• Abstract Interpretation Frameworks
• Frameworks for abstract interpretation
• Abstract interpretation as a programming language
• Theories, solvers and static analysis by abstract interpretation
• Refining abstract interpretations

Cited in

(11)

• Abstract interpretation
• Abstraction of syntax
• Abstract Interpretation of Symbolic Execution with Explicit State Updates
• Automating abstract interpretation
• Programming Languages and Systems
• Abstract interpretation from a denotational-semantics perspective
• Abstract interpretation of annotated commands
• Refining abstract interpretations
• A survey on product operators in abstract interpretation
• Verification by abstract interpretation
• Principles of abstract interpretation

This page was built for publication:

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