Publication:5875357
From MaRDI portal
DOI10.4230/LIPIcs.CALCO.2019.16MaRDI QIDQ5875357
Detlef Plump, Graham Campbell, Brian Courtehoute
Publication date: 3 February 2023
depth-first search; linear-time algorithms; graph transformation; GP 2; topological sorting; rooted graph programs
68Qxx: Theory of computing
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- From imperative to rule-based graph programs
- Efficient graph rewriting and its implementation
- Graph and model transformation. General framework and applications
- Hoare-Style Verification of Graph Programs
- Verifying Monadic Second-Order Properties of Graph Programs
- Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY
- Towards Critical Pair Analysis for the Graph Programming Language GP 2