Algebraic methods in the compositional analysis of logic programs

DOI10.1007/3-540-58338-6_62MaRDI QIDQ5096873zbMATH OpenOpenAlexFDO

Authors Fernando Orejas, Elvira Pino, Hartmut Ehrig

Publication date 18 August 2022

Published in Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58338-6_62

Mathematics Subject Classification ID

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

Recommendations

• Fully abstract compositional semantics for an algebra of logic programs
• scientific article; zbMATH DE number 978245
• scientific article; zbMATH DE number 3880080
• scientific article; zbMATH DE number 5081758
• A compositional semantics for logic programs
• An algebraic framework for the definition of compositional semantics of normal logic programs
• scientific article; zbMATH DE number 3972168
• Program Development in Computational Logic
• scientific article; zbMATH DE number 4031629
• Clausal logic and logic programming in algebraic domains

Cites work

• A logical analysis of modules in logic programming
• Abstract and behaviour module specifications
• Declarative modeling of the operational behavior of logic languages
• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 4195154 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 176721 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 826299 (Why is no real title available?)
• scientific article; zbMATH DE number 970714 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming

Cited in

(10)

• Composing recursive logic programs with clausal join
• Institutions for logic programming
• Algebraic composition of function tables
• A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG
• scientific article; zbMATH DE number 5081758 (Why is no real title available?)
• scientific article; zbMATH DE number 978245 (Why is no real title available?)
• scientific article; zbMATH DE number 2012389 (Why is no real title available?)
• An algebraic framework for the definition of compositional semantics of normal logic programs
• Compositional Semantics for the Procedural Interpretation of Logic
• Fully abstract compositional semantics for an algebra of logic programs

This page was built for publication: Algebraic methods in the compositional analysis of logic programs

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