Graph transformation for specification and programming
From MaRDI portal
Publication:1806128
DOI10.1016/S0167-6423(98)00023-9zbMath0933.68022OpenAlexW2087327214MaRDI QIDQ1806128
Marc Andries, Gabriele Taentzer, Gregor Engels, Berthold Hoffmann, Sabine Kuske, Andy Schürr, Detlef Plump, Annegret Habel, Hans-Joerg Kreowski
Publication date: 20 December 1999
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(98)00023-9
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs ⋮ Reachability in Graph Transformation Systems and Slice Languages ⋮ Graph Transformation Units – An Overview ⋮ Graph grammars according to the type of input and manipulated data: a survey ⋮ Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). ⋮ Towards Common Exchange Formats for Graphs and Graph Transformation Systems ⋮ GETGRATS ⋮ Structured Modeling with GRACE ⋮ Parameterized Transformation Units ⋮ Algebraic graph rewriting with controlled embedding ⋮ GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems). ⋮ Autonomous Units and Their Semantics – The Concurrent Case ⋮ On the Complexity of Local Graph Transformations ⋮ Hierarchical graph transformation
Uses Software
This page was built for publication: Graph transformation for specification and programming