Abstract Interpretation From a Denotational-semantics Perspective

DOI10.1016/j.entcs.2009.07.082zbMath1337.68162OpenAlexW2041565413MaRDI QIDQ2805148

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

Galois connectiondenotational semanticsabstract interpretationScott-topologyScott-domains

Mathematics Subject Classification ID

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

Related Items (1)

A class of bounded functions, a database language and an extended lambda calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• The octagon abstract domain
• A denotational framework for data flow analysis
• Domain theory in logical form
• Language design methods based on semantic principles
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Abstract Interpretation from a Topological Perspective
• Program transformations in a denotational setting
• Two-Level Functional Languages
• The denotational semantics of programming languages
• Continuous Lattices and Domains
• Temporal abstract interpretation
• Making abstract interpretations complete
• Comparing Completeness Properties of Static Analyses and Their Logics

This page was built for publication: Abstract Interpretation From a Denotational-semantics Perspective