Specifying with syntactic theory functors

DOI10.1016/j.jlamp.2020.100543zbMath1433.68221OpenAlexW3014743901MaRDI QIDQ2173439

Markus Roggenbach, Magne Haveraaen

Publication date: 22 April 2020

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100543

zbMATH Keywords

specification languagesinstitution independencereuse mechanisms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

Structure-preserving diagram operators, Semantics of multiway dataflow constraint systems

Uses Software

• CASL
• Hets

Cites Work

• Unnamed Item
• An axiomatic approach to structuring specifications
• Institution morphisms
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Algebraic specifications of computable and semicomputable data types
• Specifications in an arbitrary institution
• Relating CASL with other specification languages: the institution level.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
• Computable scalar fields: A basis for PDE software
• Categories for Software Engineering
• Generalized Theoroidal Institution Comorphisms
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
• The Distributed Ontology, Modeling and Specification Language – DOL