Generalized Theoroidal Institution Comorphisms

DOI10.1007/978-3-642-03429-9_7zbMath1253.68226OpenAlexW1780961396MaRDI QIDQ3184726

Mihai Codescu

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

• HasCasl
• Isabelle/HOL
• CASL
• Haskell
• Hets

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