- -

Conversion to Tail Recursion in Term Rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Conversion to Tail Recursion in Term Rewriting

Show full item record

Nishida, N.; Vidal Oriola, GF. (2014). Conversion to Tail Recursion in Term Rewriting. Journal of Logic and Algebraic Programming. 83(1):53-63. doi:10.1016/j.jlap.2013.07.001

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/47195

Files in this item

Item Metadata

Title: Conversion to Tail Recursion in Term Rewriting
Author: Nishida, Naoki Vidal Oriola, Germán Francisco
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Tail recursive functions are a special kind of recursive functions where the last action in their body is the recursive call. Tail recursion is important for a number of reasons (e.g., they are usually more efficient). ...[+]
Subjects: Term rewriting , Program transformation , Tail recursion
Copyrigths: Reserva de todos los derechos
Journal of Logic and Algebraic Programming. (issn: 1567-8326 )
DOI: 10.1016/j.jlap.2013.07.001
Publisher version: http://dx.doi.org/10.1016/j.jlap.2013.07.001
Description: NOTICE: this is the author’s version of a work that was accepted for publication in "Journal of Logic and Algebraic Programming". Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Logic and Algebraic Programming , vol. 83 issue 1, 2014 DOI 10.1016/j.jlap.2013.07.001
This work has been partially supported by the Spanish Ministerio de Ciencia e Innovacion (Secretaria de Estado de Investigation) under grant TIN2008-06622-C03-02, by the Generalitat Valenciana under grant PROMETEO/2011/052, ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record