research
∙
12/22/2022
Time and Space Measures for a Complete Graph Computation Model
We present a computation model based on a subclass of GP 2 graph program...
share
research
∙
12/22/2022
Towards Mechanised Proofs in Double-Pushout Graph Transformation
We formalise the basics of the double-pushout approach to graph transfor...
research
∙
12/21/2021
A Small-Step Operational Semantics for GP 2
The operational semantics of a programming language is said to be small-...
research
∙
01/06/2021
Confluence up to Garbage in Graph Transformation
The transformation of graphs and graph-like structures is ubiquitous in ...
research
∙
12/21/2020
Fast Rule-Based Graph Programs
Implementing graph algorithms efficiently in a rule-based language is ch...
research
∙
12/03/2020
Verifying Graph Programs with First-Order Logic
We consider Hoare-style verification for the graph programming language ...
research
∙
12/03/2020
A Fast Graph Program for Computing Minimum Spanning Trees
When using graph transformation rules to implement graph algorithms, a c...
research
∙
10/27/2020
Verifying Graph Programs with First-Order Logic (Extended Version)
We consider Hoare-style verification for the graph programming language ...
research
∙
10/06/2020
The Improved GP 2 Compiler
GP 2 is a rule-based programming language based on graph transformation ...
research
∙
02/07/2020
Improving the GP 2 Compiler
GP 2 is an experimental programming language based on graph transformati...
research
∙
12/19/2019
Proceedings Tenth International Workshop on Graph Computation Models
This volume contains the post-proceedings of the Tenth International Wor...
research
∙
11/28/2019
Efficient Recognition of Graph Languages
Graph transformation is the rule-based modification of graphs, and is a ...
research
∙
10/24/2018