9 citations · 21 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 2 cited
The Improved GP 2 Compiler
Graham Campbell, Jack Romo, Detlef Plump
GP 2 is a rule-based programming language based on graph transformation rules which aims to facilitate program analysis and verification. Writing efficient programs in such a langu…
cs.PL2020★ 1 cited
Improving the GP 2 Compiler
Graham Campbell, Jack Romo, Detlef Plump
GP 2 is an experimental programming language based on graph transformation rules which aims to facilitate program analysis and verification. Writing efficient programs in such a la…