Category-based modularisation for equational logic programming

DOI10.1007/S002360050054MaRDI QIDQ1901708zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu

Publication date 19 November 1995

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050054

zbMATH Keywords

completenesssoundnessmodularisationcompiler correctnesslogic-based programmingcategory-based equational logiccategory-based semantics

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Recommendations

• An introduction to category-based equational logic
• Category-based constraint logic
• Comments on “logic programming with equations”
• scientific article; zbMATH DE number 408807
• Equality, types, modules, and (why not?) generics for logic programming

Cites work

• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 4180819 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 3945331 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3769603 (Why is no real title available?)
• scientific article; zbMATH DE number 44213 (Why is no real title available?)
• scientific article; zbMATH DE number 177826 (Why is no real title available?)
• scientific article; zbMATH DE number 522843 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3997131 (Why is no real title available?)
• scientific article; zbMATH DE number 3999262 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A simple algebraic proof of the equational interpolation theorem
• An Oxford survey of order sorted algebra
• Axioms for abstract model theory
• Completeness of category-based equational deduction
• Computing with rewrite systems
• Institutions: abstract model theory for specification and programming
• On observational equivalence and algebraic specification
• On the existence of free models in abstract algebraic institutions
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Proving and rewriting
• Quasi-varieties in abstract algebraic institutions
• Specifications in an arbitrary institution
• The formal theory of monads

Cited in

(4)

• An introduction to category-based equational logic
• Modular design of domain-specific languages using splittings of catamorphisms
• scientific article; zbMATH DE number 408807 (Why is no real title available?)
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

Describes a project that uses

Uses Software

• OBJ3

This page was built for publication: Category-based modularisation for equational logic programming

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