- -

Conversion to Tail Recursion in Term Rewriting

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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. https://doi.org/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

Thumbnail
Name: paper_author.pdf
Size: 248.5Kb
Format: PDF
Description: Versión del Autor.
Open/Preview
[Cerrado]
Name: jlap14_online_pap ...
Size: 260.1Kb
Format: PDF
Description: Versión editorial
Request a copy of the document

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:
Abstract:
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
Source:
Journal of Logic and Algebraic Programming. (issn: 1567-8326 )
DOI: 10.1016/j.jlap.2013.07.001
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.jlap.2013.07.001
Project ID:
info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/
Generalitat Valenciana [PROMETEO/2011/052]
MEXT KAKENHI [21700011]
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
Thanks:
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