{"id":84399,"date":"2000-05-05T00:00:00","date_gmt":"2000-05-05T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/reglas-y-estrategias-de-transformacion-para-programas-logico-funcionales\/"},"modified":"2000-05-05T00:00:00","modified_gmt":"2000-05-05T00:00:00","slug":"reglas-y-estrategias-de-transformacion-para-programas-logico-funcionales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/reglas-y-estrategias-de-transformacion-para-programas-logico-funcionales\/","title":{"rendered":"Reglas y estrategias de transformaci\u00f3n para programas logico-funcionales."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pascual Julian Iranzo <\/strong><\/h2>\n<p>La evaluaci\u00f3n parcial (ep) es una t\u00e9cnica de transformaci\u00f3n autom\u00e1tica que consigue la optimizaci\u00f3n del programa original para una clase de datos de entrada. Los lenguajes declarativos presentan una sem\u00e1ntica simple y con bases te\u00f3ricas bien establecidas. Recientemente, se ha introducido un marco gen\u00e9rico para la ep de programas l\u00f3gico-funcionales basado en el empleo del narrowing, una regla de inferencia que combina el principio de reducci\u00f3n de los lenguajes funcionales y el principio de resoluci\u00f3n de los lenguajes logicos. En esta tesis se han investigado las t\u00e9cnicas y requisitos que permiten optimizar dicho m\u00e9todo. En ella se han introducido:  a- mejoras en el mecanismo de base.  se ha definido un procedimiento de ep basado en el narrowing perezoso para el que se ha demostrado su correcci\u00f3n y completitud. Se ha identificado la clase de los programas uniformes como aqu\u00e9lla sobre la cual es posible reafinar la estrategia de narrowing perezoso, sin p\u00e9rdida de completitud. la nueva estrategia se ha denominado narrowing perezoso uniforme y se ha demostrado que es computacionalmente equivalente a la estrategia de narrowing necesario sobre la mencionada clase de programas. Esto permite obtener une valuador parcial que se ha probado que es fuertemente correcto y para el que se consiguen mejores prestaciones que con la estrategia de narrowing perezoso original.  b- t\u00e9cnicas avanzadas de especializaci\u00f3n.  se ha mejorado el procedimiento de control del algoritmo gen\u00e9rico de ep introduciendo:  i- una nueva regla de desplegado din\u00e1mica.  ii- un operador de abstracci\u00f3n que emplea t\u00e9cnicas de partici\u00f3n.  estas innovaciones han permitido la especializaci\u00f3n de programas con  respecto a expresiones complejas sin el empleo de arigicios ad hoc, todo ello sin afecar a la terminaci\u00f3n del proceso de ep.  el m\u00e9todo de ep obteniendo es aplicable a los lenguajes l\u00f3gico-funcionales modernos (espec\u00edficamente, aqu\u00e9llos con s<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Reglas y estrategias de transformaci\u00f3n para programas logico-funcionales.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Reglas y estrategias de transformaci\u00f3n para programas logico-funcionales. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pascual Julian Iranzo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 05\/05\/2000<\/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>Mar\u00eda Alpuente Frasnedo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: isidro Ramos slavert <\/li>\n<li>moreno Falaschi (vocal)<\/li>\n<li>mario Rodr\u00edguez artalejo (vocal)<\/li>\n<li>ricardo Pe\u00f1a mari (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pascual Julian Iranzo La evaluaci\u00f3n parcial (ep) es una t\u00e9cnica de transformaci\u00f3n autom\u00e1tica que consigue la optimizaci\u00f3n [&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":[1890,4149,6474,126,16820,15624,6473],"tags":[178322,6479,4813,56620,129444,16545],"class_list":["post-84399","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-lenguajes-de-programacion","category-matematicas","category-politecnica-de-valencia","category-software","category-teoria-de-la-programacion","tag-isidro-ramos-slavert","tag-maria-alpuente-frasnedo","tag-mario-rodriguez-artalejo","tag-moreno-falaschi","tag-pascual-julian-iranzo","tag-ricardo-pena-mari"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/84399","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=84399"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/84399\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=84399"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=84399"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=84399"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}