- -

Conversion to Tail Recursion in Term Rewriting

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Conversion to Tail Recursion in Term Rewriting

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Conversion to Tail Recursion in Term Rewriting
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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). ...[+]
Palabras clave: Term rewriting , Program transformation , Tail recursion
Derechos de uso: Reserva de todos los derechos
Fuente:
Journal of Logic and Algebraic Programming. (issn: 1567-8326 )
DOI: 10.1016/j.jlap.2013.07.001
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.jlap.2013.07.001
Descripción: 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
Agradecimientos:
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, ...[+]
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem