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.BibTeX Entry
@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
}