Generalized Theoroidal Institution Comorphisms
From MaRDI portal
Publication:3184726
DOI10.1007/978-3-642-03429-9_7zbMath1253.68226OpenAlexW1780961396MaRDI QIDQ3184726
Publication date: 22 October 2009
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03429-9_7
Related Items (5)
Heterogeneous Logical Environments for Distributed Specifications ⋮ Specifying with syntactic theory functors ⋮ Twenty years of rewriting logic ⋮ Change Management for Heterogeneous Development Graphs ⋮ Model-Driven Engineering in the Heterogeneous Tool Set
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Grothendieck institutions
- Institution morphisms
- Isabelle/HOL. A proof assistant for higher-order logic
- Relating CASL with other specification languages: the institution level.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- HasCasl: Towards Integrated Specification and Development of Functional Programs
- Reasoning Support for Casl with Automated Theorem Proving Systems
- Abstract and behaviour module specifications
- Institutions: abstract model theory for specification and programming
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques
This page was built for publication: Generalized Theoroidal Institution Comorphisms