cl-banner

Uncurrying for Termination

Nao Hirokawa and Aart Middeldorp

Proceedings of the 3rd International Workshop on Higher-Order Rewriting (HOR 2006), pp. 19 – 24, 2006.

Abstract

In this note we present a transformation from untyped applicative term rewrite systems to functional term rewrite systems that preserves termination. Our transformation can handle head variables in right-hand sides of rewrite rules.

 

  PDF

BibTeX 

@inproceedings{HM-HOR06,
author = "Nao Hirokawa and Aart Middeldorp",
title = "Uncurrying for Termination",
booktitle = "Proceedings of the 3rd International Workshop on Higher-Order Rewriting",
pages = "19--24",
year = 2006
}
Nach oben scrollen