9 citations · 12 across the 4 of their papers we have counts for
Showing 2021Show all
2 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.PL2021
Fast Rule-Based Graph Programs
Graham Campbell, Brian Courtehoute, Detlef Plump
Implementing graph algorithms efficiently in a rule-based language is challenging because graph pattern matching is expensive. In this paper, we present a number of linear-time imp…