Generalized innermost rewriting

J.C. Pol, van de, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Abstract

We propose two generalizations of innermost rewriting for which we prove that termination of innermost rewriting is equivalent to termination of generalized innermost rewriting. As a consequence, by rewriting in an arbitrary TRS certain non-innermost steps may be allowed by which the termination behavior and efficiency is often much better, but never worse than by only doing innermost rewriting.
Original languageEnglish
Title of host publicationRewriting Techniques and Applications (Proceedings 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005)
EditorsJ. Giesl
Place of PublicationBerlin
PublisherSpringer
Pages2-16
ISBN (Print)3-540-25596-6
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
Volume3467
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Generalized innermost rewriting'. Together they form a unique fingerprint.

Cite this