Exploring conflict reasons for graph transformation systems

DOI10.1007/978-3-030-23611-3_5zbMath1429.68090OpenAlexW2953994351MaRDI QIDQ2292969

Gabriele Taentzer, Leen Lambers, Daniel Strüber, Jens Kosiol

Publication date: 6 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23611-3_5

zbMATH Keywords

static analysisgraph transformationconflict analysis

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Confluence up to Garbage ⋮ Confluence up to garbage in graph transformation

Uses Software

• AGG
• Henshin

This page was built for publication: Exploring conflict reasons for graph transformation systems