Composition of Graph-Transformation-Based DSL Definitions by Amalgamation

DOI10.1007/978-3-319-12904-4_1zbMath1367.68126OpenAlexW57634489MaRDI QIDQ2945129

Francisco Durán

Publication date: 9 September 2015

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12904-4_1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Composition of Graph-Transformation-Based DSL Definitions by Amalgamation