Tesis doctoral de Ochoa Claudio J. G.
La principal contribucion de esta tesis es el desarrollo de la evaluacion parcial policontrolada, un novedoso entorno para la evaluacion parcial de programas logicos, el cual es policontrolado en el sentido de que pude tomar en cuenta conjuntos de reglas de control global y local, en lugar de emplear una unica combinacion predeterminada (como es el caso de la evaluacion parcial tradicional). Este entorno es mas flexible que los enfoques existentes, ya que permite asignar difererentes reglas de control local y global a diferentes patrones de llamada. De este modo, es posible obtener programas especializados que no pueden ser generados usando evaluacion parcila tradicional. Este entorno es consciente de los recursos en el sentido de que cada una de la soluciones obtenidas a traves de la evaluacion parcial policontrolada es valorada utilizando funciones de adecuacion. Este entorno de evaluacion parcial policontrolada ha sido implementado en el sistema ciaopp y evaluado con numerosos programas de prueba. Los resultados experimentales obtienen en muchos casos mejores especializaciones que aquellas generadas usando la evaluacion parcial tradicional. otra de las contribuciones de esta tesis es la presentacion de una vision unificada de la eliminacion de la polivarianza superflua en la evaluacion parcial y en la especializacion abstracta multiple, a traves del uso de un paso de minimizacion que agrupa versiones equivalentes de predicados.
Datos académicos de la tesis doctoral «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«
- Título de la tesis: 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
- Autor: Ochoa Claudio J. G.
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 10/04/2007
Dirección y tribunal
- Director de la tesis
- German Puebla Sanchez
- Tribunal
- Presidente del tribunal: manuel Hermenegildo salinas
- andrew King (vocal)
- john Gallagher (vocal)
- María Alpuente frasnedo (vocal)