Lazy Rewriting and Context-Sensitive Rewriting (2002)
| Venue: | Electronic Notes in Theoretical Computer Science, volume 64. Elsevier Sciences |
| Citations: | 12 - 9 self |
BibTeX
@INPROCEEDINGS{Lucas02lazyrewriting,
author = {Salvador Lucas},
title = {Lazy Rewriting and Context-Sensitive Rewriting},
booktitle = {Electronic Notes in Theoretical Computer Science, volume 64. Elsevier Sciences},
year = {2002},
publisher = {Electronic}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Lazy rewriting (LR) is intended to improve the termination behavior of TRSs. This is attempted by restricting reductions for selected arguments of functions. Similarly, context-sensitive rewriting (CSR) forbids any reduction on those arguments. We show that, under certain conditions, LR and CSR coincide. On the basis of this result, we also describe a transformation which permits proving termination of LR as termination of CSR for the transformed system. Since there is a number of different techniques for proving termination of CSR, this provides a (first) formal framework for proving termination of lazy rewriting.
