Tesis Doctorales UPM: Consulta online

Título: Evaluación parcial policontrolada y su aplicación a la especialización de programas consciente de los recursos.

Resumen: La principal contribución de esta tesis es el desarrollo de la Evaluación Parcial Policontrolada, un novedoso entorno para la evaluación parcial de programas lógicos, 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 única combinación predeterminada (como es el caso de la evaluación parcial tradicional). Este entorno es más flexible que los enfoques existentes, ya que permite asignar diferentes 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 evaluación parcial tradicional. Este entorno es consciente de los recursos en el sentido de que cada una de las soluciones obtenidas a través de la evaluación parcial policontrolada es valorada utilizando funciones de adecuación. Este entorno de evaluación 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 evaluación parcial tradicional. Otra de las contribuciones de esta tesis es la presentación de una visión unificada de la eliminación de la polivarianza superflua en la evaluación parcial y en la especialización abstracta múltiple, a través del uso de un paso de minimización que agrupa versiones equivalentes de predicados.