scientific article; zbMATH DE number 1538024

MaRDI QIDQ4518879zbMATH OpenFDO

Authors Andrew J. Heaton, Patricia M. Hill, Andy King

Publication date 3 December 2000

zbMATH Keywords

abstract domainabstract interpretation theory

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Finite Axiomatizations for Universal Domains
• A Purely Definitional Universal Domain
• Logic Programming
• A domain theoretic characterisation of the universal relation
• scientific article; zbMATH DE number 956838
• Categorical generalization of a universal domain
• Axiomatizations of the core on the universal domain and other natural domains
• Universal abstract consistency class and universal refutation
• scientific article; zbMATH DE number 1258249
• Universal profinite domains

Cited in

(17)

• The quotient of an abstract interpretation
• Combinations of abstract domains for logic programming: Open product and generic pattern construction
• Logical optimality of groundness analysis
• Design of abstract domains using first-order logic
• Algebraic power analysis by abstract interpretation
• An abstract domain of uninterpreted functions
• Generalizing simulation to abstract domains
• Full abstraction for nominal Scott domains
• Evaluation of the domain prop
• Abstract domains and solvers for sets reasoning
• Finite Axiomatizations for Universal Domains
• Abstract cofibered domains: application to the alias analysis of untyped programs
• Comparison of abstract interpretations
• Making abstract domains condensing
• Converting One Type-Based Abstract Domain to Another
• Logic Programming
• Verification, Model Checking, and Abstract Interpretation

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 Q4518879)