Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
K. Gmeiner, B. Gramlich:
"Transformations of Conditional Rewrite Systems Revisited";
Vortrag: 19th International Workshop on Algebraic Development Techniques (WADT 2008),
Pisa, Italy;
13.06.2008
- 16.06.2008; in: "Recent Trends in Algebraic Development Techniques (WADT 2008) - Revised Selected Papers",
A. Corradini, U. Montanari (Hrg.);
Springer,
LNCS 5486
(2009),
ISBN: 978-3-642-03428-2;
S. 166
- 186.
Kurzfassung englisch:
We revisit known transformations of conditional rewrite systems to unconditional ones in a systematic way. We present a unified framework for describing, analyzing and classifying such transformations, discuss the major problems arising, and finally present a new transformation which has some advantages as compared to the approach of [Serbanuta/Rosu-RTA'06]. The key feature of our new approach (for left-linear confluent normal 1-CTRSs) is that it is backtracking-free due to an appropriate encoding of the conditions.
Schlagworte:
conditional rewriting, unconditional rewriting, transformations, unified framework
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-03429-9_12
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_183461.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.