cl-banner

Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems

Karl Gmeiner and Naoki Nishida

Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014), OpenAccess Series in Informatics (OASIcs) 40, pp. 3 – 14, 2014.

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.

 

  PDF |    doi:10.4230/OASIcs.WPTE.2014.3  |  © Creative Commons License – CC   BY

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"
}
Nach oben scrollen