Abstract interpretation of resolution-based semantics

DOI10.1016/J.TCS.2009.07.040zbMATH Open1187.68307OpenAlexW2156720745MaRDI QIDQ1035705FDOQ1035705

Radhia Cousot, Roberto Giacobazzi, Patrick Cousot

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• An interactive semantics of logic programming
• Title not available (Why is that?)
• A geometric interpretation of LD-resolution
• Title not available (Why is that?)
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
• Grammar semantics, analysis and parsing by abstract interpretation
• Abstract interpretation based on oldt resolution
• Logic Based Program Synthesis and Transformation
• Grammar Analysis and Parsing by Abstract Interpretation
• Abstract interpretation and application to logic programs

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)