Poly-controlled partial evaluation and its application to resource-aware program specialization = evaluacion parcial poicontrolada y su aplicacion a la especializacion de programas consiciente de los recursos

TL;DRAbstract

La Evaluacion Parcial es una tecnica automatica para la optimizacion de programas. Su objetivo principal es el de especializar un programa con respecto a parte de sus datos de entrada, los que se conocen como datos estaticos. La calidad del codigo generado por la evaluacion parcial de programas logicos depende, en gran medida, de la estrategia de control que se haya empleado. Desafortunadamente, aun estamos lejos de contar con una estrategia de control suficientemente sofisticada como para comportarse de manera optima para cualquier programa. 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 puede 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 existen

Chat with Paper

AI Agents for this Paper