Fully abstract compositional semantics for an algebra of logic programs

DOI10.1016/0304-3975(95)00012-LMaRDI QIDQ672703zbMATH OpenFDO

Authors Antonio Brogi, Franco Turini

Publication date 28 February 1997

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

zbMATH Keywords

program composition operations

Mathematics Subject Classification ID

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

Recommendations

• Algebraic methods in the compositional analysis of logic programs
• Program Development in Computational Logic
• Compositional Semantics for the Procedural Interpretation of Logic
• Institutions for logic programming
• A compositional semantics for logic programs

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3956409 (Why is no real title available?)
• scientific article; zbMATH DE number 140372 (Why is no real title available?)
• scientific article; zbMATH DE number 1142320 (Why is no real title available?)
• Closures and fairness in the semantics of programming logic
• Compositional model-theoretic semantics for logic programs
• Declarative modeling of the operational behavior of logic languages
• Enumeration operators and modular logic programming
• Fully abstract models of typed \(\lambda\)-calculi
• LCF considered as a programming language
• On the efficiency of subsumption algorithms
• Reasoning about termination of pure Prolog programs
• The Semantics of Predicate Logic as a Programming Language

Cited in

(17)

• Compositional model-theoretic semantics for logic programs
• Sequential composition of propositional logic programs
• scientific article; zbMATH DE number 177828 (Why is no real title available?)
• Knowledge representation with multiple logical theories and time
• scientific article; zbMATH DE number 4174904 (Why is no real title available?)
• A compositional natural semantics and Hoare logic for low-level languages
• scientific article; zbMATH DE number 2134134 (Why is no real title available?)
• Compositional Semantics for the Procedural Interpretation of Logic
• Abstract interpretation of resolution-based semantics
• Program Development in Computational Logic
• Algebraic methods in the compositional analysis of logic programs
• The merits of compositional abstraction: a case study in propositional logic
• Complementing logic program semantics
• The reduced relative power operation on abstract domains
• scientific article; zbMATH DE number 5081758 (Why is no real title available?)
• A unifying view for logic programming with non-monotonic reasoning
• Observable behaviors and equivalences of logic programs

This page was built for publication: Fully abstract compositional semantics for an algebra of logic programs

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