Análisis y verificación de programas modulares
Tesis doctoral de Jesús Correas Fernández Existe un gran número de técnicas avanzadas de verificación y optimización estática de programas […]
Tesis doctoral de German Puebla Sanchez
Información academica German Puebla Sanchez. Tesis donde German Puebla Sanchez ha sido autor, director o parte del tribunal.
Poly-controlled partial evaluation and its apllication to resource-aware program specialization (evaluacion parcial poicontrolada y su aplicacion a la especializacion de programas consiciente de los recursos
Tesis doctoral de Ochoa Claudio J. G. La principal contribucion de esta tesis es el desarrollo de la evaluacion parcial