Partial pushout semantics of generics in DOL

DOI10.1016/J.TCS.2018.03.021zbMATH Open1397.68112OpenAlexW2884654433MaRDI QIDQ724938FDOQ724938

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

Recommendations

• scientific article; zbMATH DE number 1504832
• scientific article; zbMATH DE number 139800
• Categorical concepts for parameterized partial specifications
• Hereditary pushouts reconsidered
• On pushouts of partial maps

zbMATH Keywords

institutioncategory of partial mapsgeneric specificationsingle-pushout transformation

Mathematics Subject Classification ID

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

Cites Work

• Institutions: abstract model theory for specification and programming
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Title not available (Why is that?)
• Weak inclusion systems
• CASL: the Common Algebraic Specification Language.
• Fundamentals of algebraic graph transformation
• On pushouts of partial maps
• 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.
• Title not available (Why is that?)
• Adhesivity with partial maps instead of spans
• The distributed ontology, modeling and specification language -- DOL
• Semantic Web Languages – Towards an Institutional Perspective

Uses Software

• CASL
• Hets

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

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