Towards Critical Pair Analysis for the Graph Programming Language GP 2

DOI10.1007/978-3-319-72044-9_11zbMath1496.68081OpenAlexW2773246148MaRDI QIDQ5208506

Detlef Plump, Ivaylo Hristakiev

Publication date: 16 January 2020

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-72044-9_11

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (5)

Theorem proving graph grammars with attributes and negative application conditions ⋮ Unification of drags and confluence of drag rewriting ⋮ Unnamed Item ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ Unranked fuzzy logic and reasoning

Uses Software

• GP 2

This page was built for publication: Towards Critical Pair Analysis for the Graph Programming Language GP 2