{"id":58575,"date":"2018-03-09T22:46:23","date_gmt":"2018-03-09T22:46:23","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/una-aproximacion-offline-a-la-evaluacion-parcial-dirigida-por-narrowing\/"},"modified":"2018-03-09T22:46:23","modified_gmt":"2018-03-09T22:46:23","slug":"una-aproximacion-offline-a-la-evaluacion-parcial-dirigida-por-narrowing","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/analisis-y-analisis-funcional\/una-aproximacion-offline-a-la-evaluacion-parcial-dirigida-por-narrowing\/","title":{"rendered":"Una aproximaci\u00f3n offline a la evaluaci\u00f3n parcial dirigida por narrowing"},"content":{"rendered":"<h2>Tesis doctoral de <strong> J. Guadalupe Ramos Diaz <\/strong><\/h2>\n<p>La evaluaci\u00f3n parcial dirigida por narrowing (npe: narrowing-driven partial evaluation) es una t\u00e9cnica potente para la especializaci\u00f3n de sistemas de reescritura, i.E., Para el componente de primer orden de muchos lenguajes declarativos (l\u00f3gico) funcionales como haskell, curry o toy.  los evaluadores parciales se clasifican en dos grandes categor\u00edas: online y offline, de acuerdo al momento temporal en que se consideran los aspectos de terminaci\u00f3n del proceso de especializaci\u00f3n. Los evaluadores parciales online son usualmente m\u00e1s precisos ya que tienen m\u00e1s informaci\u00f3n disponible. Los evaluadores parciales offline proceden com\u00fanmente en dos etapas; la primera etapa procesa un programa (e.G., Para identificar aquellas llamadas a funci\u00f3n que se pueden desplegar sin riesgo de no terminaci\u00f3n) e incluye anotaciones para guiar las computaciones parciales;  entonces, una segunda etapa, la de evaluaci\u00f3n parcial propiamente dicha, s\u00f3lo tiene que obedecer las anotaciones y por tanto el especializador es mucho m\u00e1s r\u00e1pido que en la aproximaci\u00f3n online.  en esta tesis se presenta un nuevo esquema de evaluaci\u00f3n parcial dirigido por narrowing, m\u00e1s eficiente y que asegura la terminaci\u00f3n siguiendo el estilo offline. Para ello, identificamos una caracterizaci\u00f3n de programas cuasi-terminantes a los que llamamos \u00abno crecientes\u00bb. En tales programas, las computaciones por narrowing necesario presentan s\u00f3lo un conjunto finito de t\u00e9rminos diferentes (m\u00f3dulo renombramiento de variables). La propiedad de la cuasi-terminaci\u00f3n es importante toda vez que su presencia es regularmente una condici\u00f3n suficiente para la terminaci\u00f3n del proceso de especializaci\u00f3n.  sin embargo, la clase de programas cuasi-terminantes es muy restrictiva, por lo que introducimos un algoritmo que acepta programas inductivamente secuenciales&#8212;una clase mucho m\u00e1s amplia sobre la que est\u00e1 definido el narrowing necesario&#8212;y anota aquellas partes que violan la caracterizaci\u00f3n de programa<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Una aproximaci\u00f3n offline a la evaluaci\u00f3n parcial dirigida por narrowing<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Una aproximaci\u00f3n offline a la evaluaci\u00f3n parcial dirigida por narrowing <\/li>\n<li><strong>Autor:<\/strong>\u00a0 J. Guadalupe Ramos Diaz <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 21\/05\/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> Vidal Oriola Germ\u00e1n Francisco<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Mar\u00eda Alpuente frasnedo <\/li>\n<li>pascual Julian iranzo (vocal)<\/li>\n<li> Moreno valverde gines dami\u00e1n (vocal)<\/li>\n<li>\u00c1lvaro germ\u00e1n Puebla s\u00e1nchez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de J. Guadalupe Ramos Diaz La evaluaci\u00f3n parcial dirigida por narrowing (npe: narrowing-driven partial evaluation) es una t\u00e9cnica [&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":[3183,16820],"tags":[91003,129442,6479,129445,129444,129443],"class_list":["post-58575","post","type-post","status-publish","format-standard","hentry","category-analisis-y-analisis-funcional","category-politecnica-de-valencia","tag-alvaro-german-puebla-sanchez","tag-j-guadalupe-ramos-diaz","tag-maria-alpuente-frasnedo","tag-moreno-valverde-gines-damian","tag-pascual-julian-iranzo","tag-vidal-oriola-german-francisco"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/58575","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=58575"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/58575\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=58575"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=58575"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=58575"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}