Talks and Poster Presentations (with Proceedings-Entry):

K. Gmeiner, B. Gramlich:
"Transformations of Conditional Rewrite Systems Revisited";
Talk: 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy; 2008-06-13 - 2008-06-16; in: "Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)", (2008), 64 - 66.

English abstract:
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].

conditional rewrite system, program transformation, eliminating conditions, soundness, completeness

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.