Generalized Theoroidal Institution Comorphisms

DOI10.1007/978-3-642-03429-9_7MaRDI QIDQ3184726zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1929971
• Institution morphisms
• Institutions: abstract model theory for specification and programming
• Comorphisms of structured institutions
• Institutional 2-cells and Grothendieck Institutions

Cites work

• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 1107619 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• Abstract and behaviour module specifications
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Foundations of heterogeneous specification.
• Grothendieck institutions
• Institution morphisms
• Institutions: abstract model theory for specification and programming
• Isabelle/HOL. A proof assistant for higher-order logic
• Reasoning Support for Casl with Automated Theorem Proving Systems
• Recent Trends in Algebraic Development Techniques
• Relating CASL with other specification languages: the institution level.
• \textsc{HasCasl}: towards integrated specification and development of functional programs

Cited in

(7)

• Twenty years of rewriting logic
• Model-driven engineering in the heterogeneous tool set
• Specifying with syntactic theory functors
• Institution morphisms
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• Heterogeneous Logical Environments for Distributed Specifications
• Change management for heterogeneous development graphs

Describes a project that uses

Uses Software

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

This page was built for publication: Generalized Theoroidal Institution Comorphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184726)