GPO: A Path Ordering for Graphs
Authors: Nachum Dershowitz and Jean-Pierre Jouannaud
Paper Information
| Title: | GPO: A Path Ordering for Graphs |
| Authors: | Nachum Dershowitz and Jean-Pierre Jouannaud |
| Proceedings: | WST WST2018proceedings |
| Editor: | Salvador Lucas |
| Keywords: | graph rewriting, termination, path orderings |
| Abstract: | ABSTRACT. We generalize term rewriting techniques to finite, directed, ordered multigraphs. We define well-founded monotonic graph rewrite orderings inspired by the recursive path ordering on terms. Our graph path ordering provides a building block for rewriting with such graphs, which should impact the many areas in which computations take place on graphs. |
| Pages: | 5 |
| Talk: | Jul 18 11:30 (Session 126Q: Program termination and orderings (I)) |
| Paper: | ![]() |
