{"id":18219,"date":"2002-08-07T00:00:00","date_gmt":"2002-08-07T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/depuracion-declarativa-de-programas-logico-funcionales\/"},"modified":"2002-08-07T00:00:00","modified_gmt":"2002-08-07T00:00:00","slug":"depuracion-declarativa-de-programas-logico-funcionales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/depuracion-declarativa-de-programas-logico-funcionales\/","title":{"rendered":"Depuraci\u00f3n declarativa de programas l\u00f3gico funcionales"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Correa Zabala Francisco Jos\u00e9 <\/strong><\/h2>\n<p>La depuraci\u00f3n de programas l\u00f3gico funcionales es un importante problema pr\u00e1ctico que ha sido escasamente tratado en la literatura. La depuraci\u00f3n se puede enfocar desde el punto de vista declarativo y desde el punto de vista procedural. La principal contribuci\u00f3n de esta tesis es el desarrollo de m\u00e9todos de diagn\u00f3stico declarativo para la depuraci\u00f3n de programas l\u00f3gico funcionales con respecto al observable de respuestas computadas. Las condiciones impuestas a los programas que consideramos nos permiten definir un marco gen\u00e9rico para la depuraci\u00f3n declarativa que es param\u00e9trico con respecto a la estrategia de narrowing. En particular nuestro esquema se aplica tanto al narrowing impaciente (llamada por valor) como al narrowing perezoso (llamada por nombre). Primero asociamos a un programa l\u00f3gico funcional, r, un operador (continuo) de consecuencias inmediatas, t r, el cual es pram\u00e9trico con respecto a la estrategia de narrowing que puede ser tanto perezosa como voraz. Utilizamos el menor punto fijo de este operador para definir la sem\u00e1ntica del programa. Demostramos que tal sem\u00e1ntica tiene la propiedad de que podemos obtener las respuestas computadas para un objetivo g, con la estrategia de narrowing, por unificaci\u00f3n sint\u00e1ctica con las ecuaciones de la sem\u00e1ntica. Construimos la sem\u00e1ntica o (r) y mostramos su correspondencia con la sem\u00e1ntica de punto fijo. Entonces mostramos que, dada una especificaci\u00f3n deseada i de un programa r podemos deter-minar los errores de correci\u00f3n y completitud del programa r por un simple paso de este operador. A continuaci\u00f3n presentamos una t\u00e9cnica de aproximaci\u00f3n de la sem\u00e1ntica deseada del conjunto de \u00e9xi-tos. Usamos los conceptos de sobreespecificaci\u00f3n i+ y subespecificaci\u00f3n i- para aproximar correc-tamente por exceso (resp.Por defecto) la sem\u00e1ntica deseada. Al comparar uno de estos conjuntos con el resultado de aplicar el operador de consecuencias inmediatas al otro y, mediante un s<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Depuraci\u00f3n declarativa de programas l\u00f3gico funcionales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Depuraci\u00f3n declarativa de programas l\u00f3gico funcionales <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Correa Zabala Francisco Jos\u00e9 <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 08\/07\/2002<\/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>gin\u00e9s Moreno valverde (vocal)<\/li>\n<li>moreno Falaschi (vocal)<\/li>\n<li>ernesto Pimentel sanchez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Correa Zabala Francisco Jos\u00e9 La depuraci\u00f3n de programas l\u00f3gico funcionales es un importante problema pr\u00e1ctico que ha [&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":[6314,1890,4149,6474,126,16820,15624],"tags":[56618,41295,56619,17055,6479,56620],"class_list":["post-18219","post","type-post","status-publish","format-standard","hentry","category-bases-de-datos","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","tag-correa-zabala-francisco-jose","tag-ernesto-pimentel-sanchez","tag-gines-moreno-valverde","tag-isidro-ramos-salavert","tag-maria-alpuente-frasnedo","tag-moreno-falaschi"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18219","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=18219"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18219\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=18219"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=18219"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=18219"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}