- -

Listar por palabra clave "Static Analysis"

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

Listar por palabra clave "Static Analysis"

Ordenar por:Orden:Resultados:

  • thumb
    Logic-based techniques for program analysis and specification synthesis 
    Feliú Gabaldón, Marco Antonio (Universitat Politècnica de València, 2013-11-19)
    La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma ...