Partial pushout semantics of generics in DOL

DOI10.1016/J.TCS.2018.03.021zbMath1397.68112OpenAlexW2884654433MaRDI QIDQ724938

Till Mossakowski, Bernd Krieg-Brückner

Publication date: 26 July 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.03.021

zbMATH Keywords

category of partial mapsinstitutiongeneric specificationsingle-pushout transformation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Uses Software

• CASL
• Hets

Cites Work

• Unnamed Item
• Unnamed Item
• Categories of partial maps
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• CASL: the Common Algebraic Specification Language.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Fundamentals of algebraic graph transformation
• Adhesivity with Partial Maps instead of Spans
• On Pushouts of Partial Maps
• Institutions: abstract model theory for specification and programming
• Weak inclusion systems
• The Distributed Ontology, Modeling and Specification Language – DOL
• Semantic Web Languages – Towards an Institutional Perspective

This page was built for publication: Partial pushout semantics of generics in DOL