Specifying with syntactic theory functors

DOI10.1016/J.JLAMP.2020.100543MaRDI QIDQ2173439zbMATH OpenOpenAlexFDO

Authors Magne Haveraaen, Markus Roggenbach

Publication date 22 April 2020

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

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Specifications in an arbitrary institution
• scientific article; zbMATH DE number 1497815
• Functorial theory of parameterized specifications in a general specification framework
• The meaning of specifications I: Domains and initial models
• scientific article; zbMATH DE number 1368950

Cites work

• scientific article; zbMATH DE number 1368952 (Why is no real title available?)
• Algebraic specifications of computable and semicomputable data types
• An axiomatic approach to structuring specifications
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• Categories for Software Engineering
• Computable scalar fields: A basis for PDE software
• Generalized Theoroidal Institution Comorphisms
• Institution morphisms
• Relating CASL with other specification languages: the institution level.
• Specifications in an arbitrary institution
• The distributed ontology, modeling and specification language -- DOL
• 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. Procee
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

Cited in

(2)

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

Describes a project that uses

Uses Software

• Hets
• CASL

This page was built for publication: Specifying with syntactic theory functors

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