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: |