Partial pushout semantics of generics in DOL
type: Item
instance of: scholarly article
title: Partial pushout semantics of generics in DOL
zbMATH Open document ID: 1397.68112
author: Till Mossakowski
author: Bernd Krieg-Brückner
published in: Theoretical Computer Science
publication date: 2018-07-26T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6910732
zbMATH Keywords: generic specification
zbMATH Keywords: single-pushout transformation
zbMATH Keywords: institution
zbMATH Keywords: category of partial maps
describes a project that uses: Hets
describes a project that uses: CASL
MaRDI profile type: Publication
full work available at URL: j.tcs.2018.03.021
OpenAlex ID: W2884654433
cites work: CASL: the Common Algebraic Specification Language.
cites work: CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
cites work: Weak inclusion systems
cites work: Fundamentals of algebraic graph transformation
cites work: Q3221381
cites work: Institutions: abstract model theory for specification and programming
cites work: On Pushouts of Partial Maps
cites work: Adhesivity with partial maps instead of spans
cites work: Q4037323
cites work: Semantic Web Languages – Towards an Institutional Perspective
cites work: The Distributed Ontology, Modeling and Specification Language – DOL
cites work: CASL reference manual. The complete documentation of the common algebraic specification language.
cites work: Categories of partial maps
DOI: 10.1016/J.TCS.2018.03.021
description: scientific article; zbMATH DE number 6910732