{"id":57879,"date":"2007-10-04T00:00:00","date_gmt":"2007-10-04T00:00:00","guid":{"rendered":""},"modified":"2007-10-04T00:00:00","modified_gmt":"2007-10-04T00:00:00","slug":"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-r","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/teoria-de-la-programacion\/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-r\/","title":{"rendered":"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"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Ochoa Claudio J. G. <\/strong><\/h2>\n<p>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.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>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<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 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 <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Ochoa Claudio J. G. <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 10\/04\/2007<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>German Puebla Sanchez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: manuel Hermenegildo salinas <\/li>\n<li>andrew King (vocal)<\/li>\n<li>john Gallagher (vocal)<\/li>\n<li>Mar\u00eda Alpuente frasnedo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ochoa Claudio J. G. La principal contribucion de esta tesis es el desarrollo de la evaluacion parcial [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[6474,16008,15624,6473],"tags":[127894,127893,127895,4816,6479,127892],"class_list":["post-57879","post","type-post","status-publish","format-standard","hentry","category-lenguajes-de-programacion","category-politecnica-de-madrid","category-software","category-teoria-de-la-programacion","tag-andrew-king","tag-german-puebla-sanchez","tag-john-gallagher","tag-manuel-hermenegildo-salinas","tag-maria-alpuente-frasnedo","tag-ochoa-claudio-j-g"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/57879","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=57879"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/57879\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=57879"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=57879"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=57879"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}