Transforming semantics by abstract interpretation

DOI10.1016/J.TCS.2004.12.021zbMATH Open1080.68061OpenAlexW2069431698WikidataQ62046240 ScholiaQ62046240MaRDI QIDQ557807FDOQ557807

Authors: Roberto Giacobazzi, Isabella Mastroeni 

Publication date: 30 June 2005

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

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

Recommendations

• Transforming Abstract Interpretations by Abstract Interpretation
• Abstract interpretation from a denotational-semantics perspective
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• scientific article; zbMATH DE number 2085260
• Making abstract models complete

zbMATH Keywords

constraint programmingabstract interpretationdomain theorycompositionalitycomparative semantics

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Cites Work

• Design, implementation, and evaluation of the constraint language cc(FD)
• Constructive versions of Tarski's fixed point theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatic basis for computer programming
• The structure of Galois connections
• Abstract interpretation and application to logic programs
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Countable nondeterminism and random assignment
• Guarded commands, nondeterminacy and formal derivation of programs
• Title not available (Why is that?)
• Recognizing safety and liveness
• Refining and compressing abstract domains
• Weak relative pseudo-complements of closure operators
• The reduced relative power operation on abstract domains
• A compositional semantics for logic programs
• Non-standard semantics for program slicing
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Logical optimality of groundness analysis
• Complementing logic program semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• Title not available (Why is that?)

Cited In (6)

• Abstract interpretation
• Compositional characterization of observable program properties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructing Specialized Shape Analyses for Uniform Change
• Transforming Abstract Interpretations by Abstract Interpretation

This page was built for publication: Transforming semantics by abstract interpretation

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