Inverse-limit and topological aspects of abstract interpretation

DOI10.1016/j.tcs.2012.01.002zbMath1283.68221OpenAlexW2018424853MaRDI QIDQ418811

David A. Schmidt

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.01.002

zbMATH Keywords

Galois connectiondenotational semanticsabstract interpretationinverse-limit constructionScott-topology

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Complete Abstractions and Subclassical Modal Logics

Cites Work

• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Inverse image analysis generalises strictness analysis
• The octagon abstract domain
• 3-valued abstraction: More precision at less cost
• A denotational framework for data flow analysis
• Domain theory in logical form
• Power domain constructions
• Property preserving abstractions for the verification of concurrent systems
• Underapproximating Predicate Transformers
• Program transformations in a denotational setting
• Two-Level Functional Languages
• Continuous Lattices and Domains
• Temporal abstract interpretation
• Programming Languages and Systems
• Making abstract interpretations complete
• Comparing Completeness Properties of Static Analyses and Their Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Inverse-limit and topological aspects of abstract interpretation