A compositional semantics for logic programs

DOI10.1016/0304-3975(94)90200-3MaRDI QIDQ1314414zbMATH OpenOpenAlexFDO

Authors Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Publication date 29 November 1994

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

Full work available at URL https://doi.org/10.1016/0304-3975(94)90200-3

zbMATH Keywords

compositional semanticsfixpoint semanticsoperational semanticslogic programsmodular program analysis

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 970714
• A semantics for modular general logic programs
• Fully abstract compositional semantics for an algebra of logic programs

Cites work

• scientific article; zbMATH DE number 4195154 (Why is no real title available?)
• scientific article; zbMATH DE number 3956409 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 176531 (Why is no real title available?)
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• scientific article; zbMATH DE number 177828 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• scientific article; zbMATH DE number 3249766 (Why is no real title available?)
• scientific article; zbMATH DE number 3349329 (Why is no real title available?)
• scientific article; zbMATH DE number 970714 (Why is no real title available?)
• scientific article; zbMATH DE number 970715 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A fixpoint semantics of Horn sentences based on substitution sets
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Closures and fairness in the semantics of programming logic
• Composing Open Logic Programs
• Declarative modeling of the operational behavior of logic languages
• Eliminating negation from normal logic programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Observable behaviors and equivalences of logic programs
• Oscillatory Marangoni–Bénard interfacial instability and capillary–gravity waves in single- and two-component liquid layers with or without Soret thermal diffusion
• Partial evaluation in logic programming
• Properties of substitutions and unifications
• The Semantics of Predicate Logic as a Programming Language
• Unfolding and fixpoint semantics of concurrent constraint logic programs

Cited in

(42)

• Transforming semantics by abstract interpretation
• Compositional model-theoretic semantics for logic programs
• A semantic approach to illative combinatory logic
• scientific article; zbMATH DE number 1407684 (Why is no real title available?)
• S-semantics for logic programming: a retrospective look
• scientific article; zbMATH DE number 1761889 (Why is no real title available?)
• scientific article; zbMATH DE number 2101985 (Why is no real title available?)
• Single-domain free logic and the problem of compositionality
• scientific article; zbMATH DE number 4050951 (Why is no real title available?)
• Non-commutative logic for compositional distributional semantics
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• A compositional natural semantics and Hoare logic for low-level languages
• Compositional Semantics for the Procedural Interpretation of Logic
• Correct answers for first order logic
• Composition-nominative logics of quasi-ary predicates: semantic aspects
• Abstract interpretation of resolution-based semantics
• Program Development in Computational Logic
• A compositional semantic basis for the analysis of equational Horn programs
• Transformations of CLP modules
• A Compositional Semantics for ‘If Then’ Conditionals
• Algebraic methods in the compositional analysis of logic programs
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• A theory of observables for logic programs
• A sound and complete semantics for a similarity-based logic programming language
• The merits of compositional abstraction: a case study in propositional logic
• Incremental and modular context-sensitive analysis
• A computable semantics for general logic programs
• Complementing logic program semantics
• scientific article; zbMATH DE number 1759496 (Why is no real title available?)
• Theoretical Aspects of Computing – ICTAC 2005
• Are logical languages compositional?
• A structured alternative to Prolog with simple compositional semantics
• A new framework for declarative programming
• The reduced relative power operation on abstract domains
• scientific article; zbMATH DE number 5081758 (Why is no real title available?)
• Semantics of templates in a compositional framework for building logics
• A semantics for modular general logic programs
• Observable behaviors and equivalences of logic programs
• Composing Open Logic Programs
• Composing programs in a rewriting logic for declarative programming
• Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics

This page was built for publication: A compositional semantics for logic programs

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