Abstract Interpretation from a Topological Perspective
From MaRDI portal
Publication:3392931
DOI10.1007/978-3-642-03237-0_20zbMath1248.68150MaRDI QIDQ3392931
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
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
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