Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Abstract elided by the publisher.
Related papers
- π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus JFP 1996
- Dependence Graphs and Compiler Optimizations POPL 1981
- An Exercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs TOPLAS 1990
- A mechanized formalization of GraphQL CPP 2020
- Algebraic graphs with class (functional pearl) Haskell 2017
- How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems CC 1996
- Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction VMCAI 2015
- A Logic for Analyzing Abstractions of Graph Transformation Systems SAS 2003