Abstract

Transforming conditional term rewrite systems (CTRSs) into unconditional systems (TRSs) is a common approach to analyze properties of CTRSs via the simpler framework of unconditional rewriting. In the past many different transformations have been introduced for this purpose. One class of transformations, so-called unravelings, have been analyzed extensively in the past. In this paper we provide an overview on another class of transformations that we call structure-preserving transformations. In these transformations the structure of the conditional rule, in particular their left-hand side is preserved in contrast to unravelings. We provide an overview of transformations of this type and define a new transformation that improves previous approaches.

BibTeX

@inproceedings{KGNN-WPTE14,
  author    = "Karl Gmeiner and Naoki Nishida",
  title     = "Notes on Structure-Preserving Transformations of Conditional
               Term Rewrite Systems",
  booktitle = "Proceedings of the First International Workshop on Rewriting
               Techniques for Program Transformations and Evaluation
               (WPTE 2014)",
  editor    = "Manfred Schmidt-Schau{\ss} and Masahiko Sakai and
               David Sabel and Yuki Chiba",
  series    = "OpenAccess Series in Informatics (OASIcs)",
  volume    = 40,
  pages     = "3--14",
  year      = 2014,
  doi       = "10.4230/OASIcs.WPTE.2014.3"
}