Mostrar el registro completo del ítem
Cordini Moreno, M. (2012). Translating PVS recursive functions into Java iterations. http://hdl.handle.net/10251/15376
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/15376
Título: | Translating PVS recursive functions into Java iterations | |||
Autor: | CORDINI MORENO, MARCELO | |||
Director(es): | ||||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Resumen: |
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 ...[+]
|
|||
Palabras clave: |
|
|||
Derechos de uso: | Reserva de todos los derechos | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|