Semantic Kachinuki Order
Authors: Alfons Geser, Dieter Hofbauer and Johannes Waldmann
Paper Information
| Title: | Semantic Kachinuki Order |
| Authors: | Alfons Geser, Dieter Hofbauer and Johannes Waldmann |
| Proceedings: | WST WST2018proceedings |
| Editor: | Salvador Lucas |
| Keywords: | termination, string rewriting, Kachinuki order |
| Abstract: | ABSTRACT. We present an extension of the Kachinuki order on strings. The Kachinuki order transforms the problem of comparing strings to the problem of comparing their syllables length-lexicographically, where the syllables are defined via a precedence on the alphabet. Our extension allows the number of syllables to increase under rewriting, provided we bound it by a weakly compatible interpretation. |
| Pages: | 1 |
| Talk: | Jul 18 14:00 (Session 127Q: Program termination and orderings (II)) |
| Paper: | ![]() |
