Constructor-Based Institutions

DOI10.1007/978-3-642-03741-2_27zbMath1239.68043OpenAlexW1608091412MaRDI QIDQ2888501

Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_27

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (2)

Constructor-Based Institutions ⋮ Principles of proof scores in CafeOBJ

Uses Software

• CASL
• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Birkhoff completeness in institutions
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Logical foundations of CafeOBJ
• CASL: the Common Algebraic Specification Language.
• Observational logic, constructor-based logic, and their duality.
• Constructor-based observational logic
• Constructor-Based Institutions
• Institutions: abstract model theory for specification and programming
• An Oxford survey of order sorted algebra

This page was built for publication: Constructor-Based Institutions