FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: