Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Schernhammer, B. Gramlich:
"Termination of Lazy Rewriting Revisited";
Vortrag: 7th International Workshop on Reduction Strategies in Rewriting and Programming,
Paris;
25.06.2007; in: "Proc. 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)",
J. Giesl (Hrg.);
(2007),
S. 28
- 42.
Kurzfassung englisch:
Lazy rewriting is a proper restriction of term rewriting that dynamically restricts the reduction of certain arguments of functions in order to obtain termination. In contrast to context-sensitive rewriting reductions at such argument positions are not completely forbidden but delayed. Based on the observation that the only existing (non-trivial) approach to prove termination of such lazy rewrite systems is flawed, we develop a modified approach for transforming lazy rewrite systems into context-sensitive ones that is sound and complete with respect to termination.
Schlagworte:
Lazy rewriting, termination, context-sensitivity.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/pub-inf_4987.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.