Abstract Interpretation from a Topological Perspective

DOI10.1007/978-3-642-03237-0_20MaRDI QIDQ3392931zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Inverse-limit and topological aspects of abstract interpretation
• scientific article; zbMATH DE number 3313428
• Topological approach for abstract systems
• Abstract Interpretations in the Framework of Invariant Sets
• Topological interpretations of provability logic
• A topological interpretation of \({\mathfrak t}\)
• scientific article; zbMATH DE number 922679
• Topological representation of intuitionistic and distributive abstract logics
• Functorial semantics of topological theories
• Towards a theory of contextual topology

Cites work

• A calculus of logical relations for over- and underapproximating static analyses
• Abstract Interpretation Frameworks
• Comparing Completeness Properties of Static Analyses and Their Logics
• Domain theory in logical form
• Effectively given domains
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 1678354 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 1142322 (Why is no real title available?)
• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• scientific article; zbMATH DE number 2107988 (Why is no real title available?)
• Inverse image analysis generalises strictness analysis
• Making abstract interpretations complete
• Systematic design of program transformation frameworks by abstract interpretation
• Underapproximating Predicate Transformers

Cited in

(5)

• Towards a theory of contextual topology
• Abstract interpretation from a denotational-semantics perspective
• Abstract Interpretations in the Framework of Invariant Sets
• Inverse-limit and topological aspects of abstract interpretation
• Part II. Topology and Abstract Algebra as Two Roads of Mathematical Comprehension

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

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