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: "Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)",
(2008),
S. 64
- 66.
Kurzfassung englisch:
We revisit known transformations of conditional rewrite systems to unconditional ones in a systematic way. We present a unified framework for describing and classifying such transformations, discuss the major problems arising, provide simplified (old) and new counterexamples to certain (desirable) properties of specific transformations, and finally present a new transformation which has some advantages as compared to a quite recent approach, namely the one of [Serbanuta/Rosu-RTA'06].
Schlagworte:
conditional rewrite system, program transformation, eliminating conditions, soundness, completeness
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_167904.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.