- -

Listar por palabra clave "Pvs"

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

Listar por palabra clave "Pvs"

Ordenar por:Orden:Resultados:

  • 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 ...