45 citations · 71 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021★ 2 cited
A Small-Step Operational Semantics for GP 2
Brian Courtehoute, Detlef Plump
The operational semantics of a programming language is said to be small-step if each transition step is an atomic computation step in the language. A semantics with this property f…
cs.PL2016★ 11 cited
Reasoning about Graph Programs
Detlef Plump
GP 2 is a non-deterministic programming language for computing by graph transformation. One of the design goals for GP 2 is syntactic and semantic simplicity, to facilitate formal…
cs.PL2012★ 45 cited
The Design of GP 2
Detlef Plump
This papers defines the syntax and semantics of GP 2, a revised version of the graph programming language GP. New concepts are illustrated and explained with example programs. Chan…