Parchments for CafeOBJ Logics

DOI10.1007/978-3-642-54624-2_4zbMath1407.68311OpenAlexW1759401826MaRDI QIDQ5403068

Till Mossakowski, Wiesław Pawłowski, Donald Sannella, Andrzej Tarlecki

Publication date: 25 March 2014

Published in: Specification, Algebra, and Software (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/17920331/Mossakowski_Pawlowski_ET_AL_2014_Parchments_for_Cafe0BJ_Logics.pdf

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Uses Software

• OBJ3
• CafeOBJ
• Hets
• LATIN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Grothendieck inclusion systems
• Grothendieck institutions
• Institution morphisms
• On observational equivalence and algebraic specification
• Specifications in an arbitrary institution
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Logical foundations of CafeOBJ
• Constructor-based observational logic
• Institution-independent model theory
• Towards Logical Frameworks in the Heterogeneous Tool Set Hets
• Heterogeneous Logical Environments for Distributed Specifications
• Institutions: abstract model theory for specification and programming
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
• Project Abstract: Logic Atlas and Integrator (LATIN)
• Recent Trends in Algebraic Development Techniques
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Parchments for CafeOBJ Logics