{"id":30586,"date":"2004-08-06T00:00:00","date_gmt":"2004-08-06T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/una-aproximacion-al-fallo-en-programacion-declarativa-multiparadigma\/"},"modified":"2004-08-06T00:00:00","modified_gmt":"2004-08-06T00:00:00","slug":"una-aproximacion-al-fallo-en-programacion-declarativa-multiparadigma","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/una-aproximacion-al-fallo-en-programacion-declarativa-multiparadigma\/","title":{"rendered":"Una aproximaci\u00f3n al fallo en programaci\u00f3n declarativa multiparadigma"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jaime S\u00e1nchez Hern\u00e1ndez <\/strong><\/h2>\n<p>La negaci\u00f3n en programaci\u00f3n l\u00f3gica es un tema ampliamente investigado desde los inicios de este estilo de programaci\u00f3n. En este trabajo se estudia un recurso similar para la programaci\u00f3n l\u00f3gico-funcional. La contrapartida natural a la negaci\u00f3n en el contexto l\u00f3gico-funcional es el fallo en la reducci\u00f3n, que es donde se centra la tesis. Se toma como referencia la negaci\u00f3n constructiva de la programaci\u00f3n l\u00f3gica, que es capaz de encontrar valores para las variables de los objetivos, y en ese mismo sentido, se hace una propuesta de fallo constructivo.  en el marco l\u00f3gico-funcional, el fallo tiene adem\u00e1s otros usos  interesantes, como las reglas por defecto o la recolecci\u00f3n de valores.  la investigaci\u00f3n toma como punto de partida la l\u00f3gica de reescritura del marco crwl, un formalismo bien establecido y estudiado para el paradigma l\u00f3gico-funcional. El fallo se incorpora a trav\u00e9s de una l\u00f3gica orientada a la reducci\u00f3n conjuntista, elaborando las nociones y propiedades se tiene que una prueba de fallo en esta l\u00f3gica corresponde a una prueba de fallo en esta l\u00f3gica corresponde a una prueba de indemostrabilidad con respecto a la l\u00f3gica de crwl, con lo que el fallo adquiere una caracterizaci\u00f3n sem\u00e1ntica precisa.  como mecanismo operacional se construye una relaci\u00f3n de estrechamiento que tambi\u00e9n se apoya en la visi\u00f3n conjuntista. Para facilitar la presentaci\u00f3n, esta construcci\u00f3n se lleva a cabo en dos etapas: en la primera se descarta la igualdad, que despu\u00e9s se analiza como relaci\u00f3n aislada y se funde con el mecanismo global de estrechamiento.  por \u00faltimo, se estudia la implementaci\u00f3n efectiva del fallo en programaci\u00f3n l\u00f3gico-funcional. Es sencillo extender un lenguaje como toy o curry con fallo no constructivo plantea serias dificultades debido al mecanismo de reducci\u00f3n que utilizan estos sistemas. Por ello, se dise\u00f1a el prototipo experimental oops con un mecanismo de reducci\u00f3n basado en la sem\u00e1ntica con<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Una aproximaci\u00f3n al fallo en programaci\u00f3n declarativa multiparadigma<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Una aproximaci\u00f3n al fallo en programaci\u00f3n declarativa multiparadigma <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jaime S\u00e1nchez Hern\u00e1ndez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 08\/06\/2004<\/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>Francisco Javier Lopez Fraguas<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: mario Rodr\u00edguez artalejo <\/li>\n<li>Juan  Jos\u00e9 Moreno navarro (vocal)<\/li>\n<li>herbert Kuchen (vocal)<\/li>\n<li>germ\u00e1n Vidal oriola (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jaime S\u00e1nchez Hern\u00e1ndez La negaci\u00f3n en programaci\u00f3n l\u00f3gica es un tema ampliamente investigado desde los inicios de [&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":[1],"tags":[6475,68988,85859,85861,16231,4813],"class_list":["post-30586","post","type-post","status-publish","format-standard","hentry","category-sin-categoria","tag-francisco-javier-lopez-fraguas","tag-german-vidal-oriola","tag-herbert-kuchen","tag-jaime-sanchez-hernandez","tag-juan-jose-moreno-navarro","tag-mario-rodriguez-artalejo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/30586","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=30586"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/30586\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=30586"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=30586"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=30586"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}