Heterogeneous Logical Environments for Distributed Specifications

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

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

• Isabelle/HOL
• Hets

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