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. 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
Título: | Conversion to Tail Recursion in Term Rewriting | |
Autor: | Nishida, Naoki | |
Entidad UPV: |
|
|
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: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | http://dx.doi.org/10.1016/j.jlap.2013.07.001 | |
Código del Proyecto: |
|
|
Descripción: |
|
|
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: |
|