- -

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 sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: TFM.pdf
Tamaño: 725.6Kb
Formato: PDF
Abrir
dc.contributor.advisor Escobar Román, Santiago es_ES
dc.contributor.author CORDINI MORENO, MARCELO es_ES
dc.date.accessioned 2012-05-03T12:45:08Z
dc.date.available 2012-05-03T12:45:08Z
dc.date.created 2012-02
dc.date.issued 2012-05-03
dc.identifier.uri http://hdl.handle.net/10251/15376
dc.description.abstract 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 to improve the executions. es_ES
dc.format.extent 38 es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Pvs es_ES
dc.subject Java es_ES
dc.subject Tail recursion es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other 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ó es_ES
dc.title Translating PVS recursive functions into Java iterations es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation Cordini Moreno, M. (2012). Translating PVS recursive functions into Java iterations. http://hdl.handle.net/10251/15376 es_ES
dc.description.accrualMethod Archivo delegado es_ES


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

Mostrar el registro sencillo del ítem