7 citations · 18 across the 6 of their papers we have counts for
5 papers · 1 filter
Verifying Graph Programs with First-Order Logic
Gia S. Wulandari, Detlef Plump
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph…
Verifying Graph Programs with First-Order Logic (Extended Version)
Gia Wulandari, Detlef Plump
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph…
Proceedings Tenth International Workshop on Graph Computation Models
Rachid Echahed, Detlef Plump
This volume contains the post-proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019: http://gcm2019.imag.fr). The workshop was held in Eindhoven, Th…
Efficient Recognition of Graph Languages
Graham Campbell, Detlef Plump
Graph transformation is the rule-based modification of graphs, and is a discipline dating back to the 1970s. In general, to match the left-hand graph of a fixed rule within a host…
A Unification Algorithm for GP 2 (Long Version)
Ivaylo Hristakiev, Detlef Plump
The graph programming language GP 2 allows to apply sets of rule schemata (or "attributed" rules) non-deterministically. To analyse conflicts of programs statically, graphs labelle…