scientific article; zbMATH DE number 7649899

DOI10.4230/LIPIcs.CALCO.2019.16MaRDI QIDQ5875357

Detlef Plump, Graham Campbell, Brian Courtehoute

Publication date: 3 February 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

depth-first searchlinear-time algorithmsgraph transformationGP 2topological sortingrooted graph programs

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Unnamed Item

Uses Software

• AGG
• Stony Brook
• Henshin

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: