Abstract interpretation from a denotational-semantics perspective

DOI10.1016/J.ENTCS.2009.07.082MaRDI QIDQ2805148zbMATH OpenOpenAlexFDO

Authors David A. Schmidt

Publication date 10 May 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.082

zbMATH Keywords

abstract interpretationdenotational semanticsGalois connectionScott-topologyScott-domains

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3947598
• Abstract interpretation as a programming language
• Abstract Interpretation from a Topological Perspective
• Inverse-limit and topological aspects of abstract interpretation
• scientific article; zbMATH DE number 2087617

Cites work

• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3557184 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• A denotational framework for data flow analysis
• Abstract Interpretation from a Topological Perspective
• Comparing Completeness Properties of Static Analyses and Their Logics
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Continuous Lattices and Domains
• Domain theory in logical form
• Language design methods based on semantic principles
• Making abstract interpretations complete
• Program transformations in a denotational setting
• Temporal abstract interpretation
• The denotational semantics of programming languages
• The octagon abstract domain
• Two-Level Functional Languages
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs

Cited in

(24)

• Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday
• Inverse-limit and topological aspects of abstract interpretation
• Abstract interpretation
• Abstraction of syntax
• Transforming semantics by abstract interpretation
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• Denotational semantics of a simple model of Eiffel
• A closer look at declarative interpretations
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• scientific article; zbMATH DE number 2087617 (Why is no real title available?)
• scientific article; zbMATH DE number 3947598 (Why is no real title available?)
• Lifting abstract interpreters to quantified logical domains
• Abstract interpretation of annotated commands
• Abstract Interpretation as Automated Deduction
• Strictness analysis and denotational abstract interpretation
• Semantics for abstract clauses
• Sweeping in Abstract Interpretation
• Abstract interpretation from Büchi automata
• A class of bounded functions, a database language and an extended lambda calculus
• Abstract interpretation of CTL properties
• Incremental Abstract Interpretation
• Principles of abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Abstract interpretation as a programming language

This page was built for publication: Abstract interpretation from a denotational-semantics perspective

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