CafeOBJ Traces

DOI10.1007/978-3-642-54624-2_3MaRDI QIDQ5403067zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu

Publication date 25 March 2014

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

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1231658
• Logical foundations of CafeOBJ
• Parchments for CafeOBJ logics
• Towards a combination of CafeOBJ and PAT
• scientific article; zbMATH DE number 2172803
• A Maude environment for CafeOBJ
• scientific article; zbMATH DE number 1942449
• scientific article; zbMATH DE number 1962762

Cites work

• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• 13 questions about universal logic. 13 questions to Jean-Yves Béziau by Linda Eastwood
• Adding a temporal dimension to a logic system
• Algebra and Coalgebra in Computer Science
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Behavioural specification for hierarchical object composition
• CASL: the Common Algebraic Specification Language.
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Circular coinduction: a proof theoretical foundation
• Coinduction for preordered algebra
• Data, Schema, Ontology and Logic Integration
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• Foundations for structuring behavioural specifications
• Foundations of algebraic specification and formal software development.
• Grothendieck inclusion systems
• Hybridization of institutions
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Interpolation in Grothendieck institutions
• Logical foundations of CafeOBJ
• On the algebra of structured specifications
• Quasi-varieties and initial semantics for hybridized institutions
• Semantics of the distributed ontology language: institutes and institutions
• Ultraproducts and possible worlds semantics in institutions

Cited in

(2)

• Generate \& check method for verifying transition systems in CafeOBJ
• scientific article; zbMATH DE number 1231658 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude
• CafeOBJ
• CIRC
• OBJ3
• CASL

This page was built for publication: CafeOBJ Traces

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