Abstract interpretation from a denotational-semantics perspective

DOI10.1016/J.ENTCS.2009.07.082zbMATH Open1337.68162OpenAlexW2041565413MaRDI QIDQ2805148FDOQ2805148

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

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

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)

Cites Work

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

Cited In (21)

• Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday
• Abstract interpretation
• Inverse-limit and topological aspects of abstract interpretation
• Title not available (Why is that?)
• Transforming semantics by abstract interpretation
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lifting abstract interpreters to quantified logical domains
• Abstract Interpretation as Automated Deduction
• Abstract interpretation of annotated commands
• Semantics for abstract clauses
• Strictness analysis and denotational abstract interpretation
• 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
• Tools and Algorithms for the Construction and Analysis of Systems

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)