Heterogeneous Logical Environments for Distributed Specifications
From MaRDI portal
Publication:3184737
DOI10.1007/978-3-642-03429-9_18zbMath1253.68231OpenAlexW1617384822MaRDI QIDQ3184737
Till Mossakowski, Andrzej Tarlecki
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_18
Related Items (4)
A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ What Is a Multi-modeling Language? ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Parchments for CafeOBJ Logics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Grothendieck institutions
- Institution morphisms
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Specifications in an arbitrary institution
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
- Essential concepts of algebraic specification and program development
- Isabelle/HOL. A proof assistant for higher-order logic
- Rewriting logic: Roadmap and bibliography
- Structured theories and institutions
- What is a logic translation?
- Institution-independent model theory
- Generalized Theoroidal Institution Comorphisms
- A Heterogeneous Approach to UML Semantics
- Fork Algebras as a Sufficiently Rich Universal Institution
- A framework for defining logics
- Abstract and behaviour module specifications
- Institutions: abstract model theory for specification and programming
- Recent Trends in Algebraic Development Techniques
This page was built for publication: Heterogeneous Logical Environments for Distributed Specifications