CafeOBJ Traces
From MaRDI portal
Publication:5403067
DOI10.1007/978-3-642-54624-2_3zbMath1407.68307OpenAlexW4243501382MaRDI QIDQ5403067
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
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundations for structuring behavioural specifications
- On the algebra of structured specifications
- Foundations of algebraic specification and formal software development.
- Coinduction for preordered algebra
- Grothendieck inclusion systems
- Institution morphisms
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- Adding a temporal dimension to a logic system
- Logical foundations of CafeOBJ
- CASL: the Common Algebraic Specification Language.
- Interpolation in Grothendieck institutions
- Ultraproducts and possible worlds semantics in institutions
- Analysis and synthesis of logics. How to cut and paste reasoning systems
- Institution-independent model theory
- Behavioural specification for hierarchical object composition
- Quasi-varieties and initial semantics for hybridized institutions
- Semantics of the Distributed Ontology Language: Institutes and Institutions
- Circular Coinduction: A Proof Theoretical Foundation
- Hybridization of Institutions
- Data, Schema, Ontology and Logic Integration
- Institutions: abstract model theory for specification and programming
- Algebra and Coalgebra in Computer Science
This page was built for publication: CafeOBJ Traces
