A compositional semantics for logic programs

DOI10.1016/0304-3975(94)90200-3zbMath0801.68110OpenAlexW2002343112MaRDI QIDQ1314414

Annalisa Bossi, Giorgio Levi, Maurizio Gabbrielli, 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

operational semanticslogic programscompositional semanticsfixpoint semanticsmodular program analysis

Mathematics Subject Classification ID

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

Related Items (11)

A new framework for declarative programming ⋮ Transformations of CLP modules ⋮ Correct Answers for First Order Logic ⋮ Transforming semantics by abstract interpretation ⋮ Incremental and Modular Context-sensitive Analysis ⋮ A semantics for modular general logic programs ⋮ Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements ⋮ S-semantics for logic programming: a retrospective look ⋮ Abstract interpretation of resolution-based semantics ⋮ The reduced relative power operation on abstract domains ⋮ A theory of observables for logic programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Closures and fairness in the semantics of programming logic
• Declarative modeling of the operational behavior of logic languages
• Properties of substitutions and unifications
• A fixpoint semantics of Horn sentences based on substitution sets
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Observable behaviors and equivalences of logic programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• 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
• The Semantics of Predicate Logic as a Programming Language
• Composing Open Logic Programs
• Eliminating negation from normal logic programs
• Basic transformation operations which preserve computed answer substitutions of logic programs

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