Partial pushout semantics of generics in DOL

DOI10.1016/J.TCS.2018.03.021MaRDI QIDQ724938zbMATHOpenAlexFDO

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

zbMATH Keywords

institutioncategory of partial mapsgeneric specificationsingle-pushout transformation

Mathematics Subject Classification ID

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

Recommendations

• Publication:4502810
• Publication:4028126
• Categorical concepts for parameterized partial specifications
• Hereditary pushouts reconsidered
• On pushouts of partial maps

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 177452 (Why is no real title available?)
• Adhesivity with partial maps instead of spans
• CASL reference manual. The complete documentation of the common algebraic specification language.
• 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.
• Categories of partial maps
• Fundamentals of algebraic graph transformation
• Institutions: abstract model theory for specification and programming
• On pushouts of partial maps
• Semantic Web Languages – Towards an Institutional Perspective
• The distributed ontology, modeling and specification language -- DOL
• Weak inclusion systems

Describes a project that uses

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)