Polynomials for Proving Termination of Context-Sensitive Rewriting (2004)
by
Salvador Lucas
| Venue: | In Proc. of FOSSACS’04, LNCS 2987:318-332 |
| Citations: | 21 - 15 self |
BibTeX
@INPROCEEDINGS{Lucas04polynomialsfor,
author = {Salvador Lucas},
title = {Polynomials for Proving Termination of Context-Sensitive Rewriting},
booktitle = {In Proc. of FOSSACS’04, LNCS 2987:318-332},
year = {2004},
pages = {318--332},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termination proofs) can, then, be gradually introduced in the interpretations to deal with dierent applications.
