- -

Listar por palabra clave "Tail recursion"

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

Listar por palabra clave "Tail recursion"

Ordenar por:Orden:Resultados:

  • thumb
    Conversion to Tail Recursion in Term Rewriting 
    Nishida, Naoki; Vidal Oriola, Germán Francisco (Elsevier, 2014-01)
    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). ...
  • thumb
    Translating PVS recursive functions into Java iterations 
    CORDINI MORENO, MARCELO (Universitat Politècnica de València, 2012-05-03)
    A PVS to Java code generator (translator) has been developed during the last years. It is desirable to modify the prototype code generator to be able to translate the PVS recursive functions into Java iterations in order ...