| | |
Summary: Especializacion de Programas
Logico{Funcionales Perezosos.
Pascual Julian Iranzo.
Departamento de Sistemas Informaticos y Computacion
Universidad Politecnica de Valencia.
Memoria presentada para optar al ttulo de:
Doctor en Informatica.
Dirigida por:
Mara Alpuente Frasnedo.
Tribunal de lectura:
Presidente: Isidro Ramos Salavert U.P. Valencia
Vocales: Mario Rodrguez Artalejo U.C. Madrid
Moreno Falaschi U. Udine
Ricardo Pe~na Mar U.C. Madrid
Secretario : Salvador Lucas Alba U.P. Valencia
Mayo de 2000
Resumen.
La evaluacion parcial , tambien denominada especializacion de programas , pue-
|