Generalized Theoroidal Institution Comorphisms

DOI10.1007/978-3-642-03429-9_7zbMath1253.68226MaRDI 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

68Q65: Abstract data types; algebraic specification

Related Items

Twenty years of rewriting logic, Model-Driven Engineering in the Heterogeneous Tool Set, Change Management for Heterogeneous Development Graphs, Heterogeneous Logical Environments for Distributed Specifications

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