scientific article; zbMATH DE number 1231565

MaRDI QIDQ4222883zbMATH OpenFDO

Authors Patrick Cousot

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#cousot

zbMATH Keywords

hierarchy of semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Transforming semantics by abstract interpretation
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
• An abstract interpretation-based model for safety semantics

Cited in

(10)

• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• The reduced relative power operation on abstract domains
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Abstractions for transition systems with applications to stubborn sets
• Computing polynomial program invariants
• A question about hierarchical systems
• A Case Study in Abstract Interpretation Based Program Transformation
• Transforming semantics by abstract interpretation
• Lifting numeric relational domains to algebraic data types
• A categorical framework for program semantics and semantic abstraction

This page was built for publication:

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