License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WPTE.2014.3
URN: urn:nbn:de:0030-drops-45871
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4587/
Go to the corresponding OASIcs Volume Portal

Gmeiner, Karl ; Nishida, Naoki

Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems

pdf-format:
p003-02-gmeiner.pdf (0.4 MB)

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 - Entry

@InProceedings{gmeiner_et_al:OASIcs:2014:4587,
  author =	{Karl Gmeiner and Naoki Nishida},
  title =	{{Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems}},
  booktitle =	{First International Workshop on Rewriting Techniques for Program Transformations and Evaluation},
  pages =	{3--14},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-70-5},
  ISSN =	{2190-6807},
  year =	{2014},
  volume =	{40},
  editor =	{Manfred Schmidt-Schau{\ss} and Masahiko Sakai and David Sabel and Yuki  Chiba},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4587},
  URN =		{urn:nbn:de:0030-drops-45871},
  doi =		{10.4230/OASIcs.WPTE.2014.3},
  annote =	{Keywords: conditional term rewriting, unraveling, condition elimination}
}

Keywords: conditional term rewriting, unraveling, condition elimination
Collection: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Issue Date: 2014
Date of publication: 13.07.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI