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