Parchments for CafeOBJ logics

DOI10.1007/978-3-642-54624-2_4MaRDI QIDQ5403068zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1086718
• scientific article; zbMATH DE number 1086717
• scientific article; zbMATH DE number 1189287
• Logical foundations of CafeOBJ
• scientific article; zbMATH DE number 1189288

Cites work

• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 4037182 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1189287 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 1086718 (Why is no real title available?)
• scientific article; zbMATH DE number 2079666 (Why is no real title available?)
• scientific article; zbMATH DE number 3997131 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Completeness results for fibred parchments. Beyond the propositional base
• Constructor-based observational logic
• Foundations of algebraic specification and formal software development.
• Foundations of heterogeneous specification.
• Grothendieck inclusion systems
• Grothendieck institutions
• Heterogeneous Logical Environments for Distributed Specifications
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Logical foundations of CafeOBJ
• Mirror, mirror in my hand: a duality between specifications and models of process behaviour
• On observational equivalence and algebraic specification
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Project abstract: logic atlas and integrator (LATIN)
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Specifications in an arbitrary institution
• Towards heterogeneous specifications
• Towards logical frameworks in the heterogeneous tool set Hets

Cited in

(4)

• CafeOBJ Traces
• Logical foundations of CafeOBJ
• scientific article; zbMATH DE number 1189287 (Why is no real title available?)
• scientific article; zbMATH DE number 1189288 (Why is no real title available?)

Describes a project that uses

Uses Software

• LATIN
• Hets
• CafeOBJ
• OBJ3

This page was built for publication: Parchments for CafeOBJ logics

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