Abstract interpretation of resolution-based semantics

DOI10.1016/J.TCS.2009.07.040MaRDI QIDQ1035705zbMATH OpenOpenAlexFDO

Authors Patrick Cousot, Radhia Cousot, Roberto Giacobazzi

Publication date 4 November 2009

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

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

zbMATH Keywords

abstract interpretationlogic programmingbottom-up semantics\(s\)-semanticsHerbrand semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Abstract interpretation and application to logic programs
• scientific article; zbMATH DE number 512885
• Publication:3201751
• Abstractions of uniform proofs
• Bottom-up abstract interpretation of logic programs

Cites work

• scientific article; zbMATH DE number 3956409 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 47903 (Why is no real title available?)
• scientific article; zbMATH DE number 176531 (Why is no real title available?)
• scientific article; zbMATH DE number 177828 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 1354178 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• A compositional semantics for logic programs
• A lattice-theoretical fixpoint theorem and its applications
• A model-theoretic reconstruction of the operational semantics of logic programs
• Complementing logic program semantics
• Compositionality properties of SLD-derivations
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Declarative modeling of the operational behavior of logic languages
• Fully abstract compositional semantics for an algebra of logic programs
• Grammar Analysis and Parsing by Abstract Interpretation
• Observable behaviors and equivalences of logic programs
• Operational and denotational semantics of prolog
• Oracle semantics for Prolog
• Resultant semantics for prolog
• The Semantics of Predicate Logic as a Programming Language
• The reduced relative power operation on abstract domains
• The s-semantics approach: Theory and applications
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• “Optimal” collecting semantics for analysis in a hierarchy of logic program semantics

Cited in

(10)

• scientific article; zbMATH DE number 3947598 (Why is no real title available?)
• Grammar Analysis and Parsing by Abstract Interpretation
• Abstract interpretation based on oldt resolution
• scientific article; zbMATH DE number 1617316 (Why is no real title available?)
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
• Abstract interpretation and application to logic programs
• An interactive semantics of logic programming
• Logic Based Program Synthesis and Transformation
• Grammar semantics, analysis and parsing by abstract interpretation
• A geometric interpretation of LD-resolution

Describes a project that uses

Uses Software

• Ciao

This page was built for publication: Abstract interpretation of resolution-based semantics

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