A hidden Herbrand theorem: Combining the object and logic paradigms

DOI10.1016/S1567-8326(01)00011-XzbMath1012.03041OpenAlexW1989138330MaRDI QIDQ1858427

Joseph A. Goguen, Tom Kemp, Grant Malcolm

Publication date: 13 February 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(01)00011-x

zbMATH Keywords

algebraic semanticscoinductionhidden algebramulti-paradigm programmingHerbrand theoremactive constraint object programminglogic programming with objects

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Foundations of logic programming in hybrid logics with user-defined sharing, Herbrand theorems in arbitrary institutions, Object oriented institutions to specify symbolic computation systems, Sheaves, Objects, and Distributed Systems, Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems

Uses Software

• Eiffel
• OBJ3
• CafeOBJ

Cites Work

• Co-induction in relational semantics
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• A calculus of mobile processes. II
• A hidden agenda
• The fuzzy Tychonoff theorem
• Hidden coinduction: behavioural correctness proofs for objects
• Institutions: abstract model theory for specification and programming
• An Oxford survey of order sorted algebra
• An approach to object semantics based on terminal co-algebras
• Equality, types, modules, and (why not?) generics for logic programming
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item