{"id":84398,"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-trasnformacion-para-programas-logico-funcionales\/"},"modified":"2000-05-05T00:00:00","modified_gmt":"2000-05-05T00:00:00","slug":"reglas-y-estrategias-de-trasnformacion-para-programas-logico-funcionales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/reglas-y-estrategias-de-trasnformacion-para-programas-logico-funcionales\/","title":{"rendered":"Reglas y estrategias de trasnformaci\u00f3n para programas logico-funcionales."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Gines Damian Moreno Valverde <\/strong><\/h2>\n<p>El problema de la integraci\u00f3n de la programaci\u00f3n l\u00f3gica y funcional esta considerado como uno de los m\u00e1s importantes en el \u00e1rea de investigaci\u00f3n sobre programaci\u00f3n declarativa. Para que los lenguajes declarativos sean utiles y puedan utilizarse en aplicaciones reales, es necesario que el grado de eficiencia de su ejecucci\u00f3n se aproxime al de los lenguajes imperativos. para ello, es imprescindible el desarrollo de herramientas potentes para el anal\u00edsis y trasnformaci\u00f3n de los programas, capaces de otpimizar las implementaciones existentes.  esta tesis se centra en el desarrollo de tales t\u00e9cnicas, adoptandose la aproximaci\u00f3n conocida como \u00abreglas + estrategias\u00bb para la optimizaci\u00f3n de programas en un contexto l\u00f3gico-funcional unificado. Las reglas b\u00e1sicas que se usan son el plegado y el desplegado que aqu\u00ed se definen en t\u00e9rminos del narrowing y sus refinamientos. Gracias a la propagaci\u00f3n bidireccional de par\u00e1metros realizadas por el mecanismo de unificacion del narrowing, se obtienen optimizaciones apreciables y es posible explotar la sinergia existentes entre la s\u00edntaxis funcional (anidamientos funcionales, evaluaciones perezosas, etc.) Y el uso de variables l\u00f3gicas. Esta visi\u00f3n unificada de ejecuci\u00f3n y transformaci\u00f3n de programas nos permite explotar los resultados conocidos en ambos campos, funcional y l\u00f3gico, y desarrollar un esquema simple y potente para mejorar un programa con respecto a su capacidad para computar tanto valores a funciones como respuestas a ojetivos.Presentamos algunas aplicaciones de las reglas de plegado y desplegado (sem\u00e1nticas formales por deplegado y relaciones con las t\u00e9cnicas de evaluaci\u00f3n paracial). adem\u00e1s, mostramos que su combinaci\u00f3n con otras reglas para la introducci\u00f3n y eliminaci\u00f3n de definiciones y reglas de abstracci\u00f3n permite obtener programas eficientes cuando son dirigidas pro estrat\u00e9gias adecuadas como son la composici\u00f3n o la formaci\u00f3n de tuplas.El esquema presenta<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Reglas y estrategias de trasnformaci\u00f3n para programas logico-funcionales.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Reglas y estrategias de trasnformaci\u00f3n para programas logico-funcionales. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Gines Damian Moreno Valverde <\/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 salavert <\/li>\n<li>moreno Flaschi (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 Gines Damian Moreno Valverde El problema de la integraci\u00f3n de la programaci\u00f3n l\u00f3gica y funcional esta considerado [&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":[178320,17055,6479,4813,178321,16545],"class_list":["post-84398","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-gines-damian-moreno-valverde","tag-isidro-ramos-salavert","tag-maria-alpuente-frasnedo","tag-mario-rodriguez-artalejo","tag-moreno-flaschi","tag-ricardo-pena-mari"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/84398","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=84398"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/84398\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=84398"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=84398"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=84398"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}