Abstract Interpretation from a Topological Perspective

DOI10.1007/978-3-642-03237-0_20zbMath1248.68150OpenAlexW1579892469MaRDI QIDQ3392931

David A. Schmidt

Publication date: 18 August 2009

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03237-0_20

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Abstract Interpretation From a Denotational-semantics Perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inverse image analysis generalises strictness analysis
• A calculus of logical relations for over- and underapproximating static analyses
• Effectively given domains
• Domain theory in logical form
• Underapproximating Predicate Transformers
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks
• Making abstract interpretations complete
• Comparing Completeness Properties of Static Analyses and Their Logics

This page was built for publication: Abstract Interpretation from a Topological Perspective