- -

Translating PVS recursive functions into Java iterations

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Translating PVS recursive functions into Java iterations

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

Ficheros en el ítem

Thumbnail
Nombre: TFM.pdf
Tamaño: 725.6Kb
Formato: PDF
Abrir/Preview

Metadatos del ítem

Título: Translating PVS recursive functions into Java iterations
Autor: CORDINI MORENO, MARCELO
Director(es): Escobar Román, Santiago
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2012-02
 Fecha difusión:
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: Pvs , Java , Tail recursion
Derechos de uso: Reserva de todos los derechos
Editorial:
Universitat Politècnica de València
Titulación: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació
Tipo: Tesis de máster

recommendations

 

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

Mostrar el registro completo del ítem