{"id":69839,"date":"2004-07-09T00:00:00","date_gmt":"2004-07-09T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/un-sistema-de-programacion-logica-extensible-y-con-soporte-para-analisis-global-an-extensible-global-analysis-friendly-logic-programming-system\/"},"modified":"2004-07-09T00:00:00","modified_gmt":"2004-07-09T00:00:00","slug":"un-sistema-de-programacion-logica-extensible-y-con-soporte-para-analisis-global-an-extensible-global-analysis-friendly-logic-programming-system","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/politecnica-de-madrid\/un-sistema-de-programacion-logica-extensible-y-con-soporte-para-analisis-global-an-extensible-global-analysis-friendly-logic-programming-system\/","title":{"rendered":"Un sistema de programacion logica extensible y con soporte para analisis global (an extensible, global analysis friendly logic programming system)"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Daniel Cabeza Gras <\/strong><\/h2>\n<p>El objetivo de esta tesis doctoral es dise\u00f1ar y desarrollar un sistema de programaci\u00f3n multi-paradigma de nueva generaci\u00f3n, que est\u00e9 basado en un n\u00facleo de programaci\u00f3n l\u00f3gica y ofrezca soporte al an\u00e1lisis global.  el paradigma de la programaci\u00f3n l\u00f3gica se ha demostrado particularmente \u00fatil para el desarrollo de aplicaciones complejas, como las que aparecen en el campo de la inteligencia artificial, incluyendo sistemas basados en el conocimiento, agentes inteligentes, sistemas expertos, etc.  el \u00e1rea del an\u00e1lisis global de programas (generalmente basado en la interpretaci\u00f3n abstracta) ha experimentado grandes progresos en el contexto de la programaci\u00f3n l\u00f3gica, usado para inferir informaci\u00f3n en tiempo de compilaci\u00f3n sobre el comportamiento de los programas en ejecuci\u00f3n.  La informaci\u00f3n inferida se ha mostrado muy provechosa no s\u00f3lo para producir c\u00f3digo optimizado, sino tambi\u00e9n en verificaci\u00f3n de programas y en detecci\u00f3n y diagnosis de errores.  sin embargo, mientras que el an\u00e1lisis global de programas es en este momento relativamente bien entendido desde un punto de vista te\u00f3rico, se ha prestado escasa atenci\u00f3n al desarrollo de un sistema pr\u00e1ctico de programaci\u00f3n l\u00f3gica (que al menos proporcione una implementaci\u00f3n completa y modular de prolog) que incorpore dicho an\u00e1lisis.  Esta tesis rellena este vac\u00edo proponiendo un dise\u00f1o del lenguaje y una implementaci\u00f3n que hace el an\u00e1lisis global pr\u00e1ctico y escalable.  otro objetivo del sistema desarrollado es servir como banco de trabajo experimental para desarrollar nuevas extensiones a la programaci\u00f3n l\u00f3gica. el sistema incluye t\u00e9cnicas que permiten extender el lenguaje n\u00facleo de una manera muy flexible (y al nivel del fuente), lo que ha sido utilizado para desarrollar y probar numerosas extensiones incluyendo funciones, objetos, restricciones, registros, persistencia, ejecuci\u00f3n distribuida, y otras.  el sistema producido (ciao) se ha hecho libremente<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un sistema de programacion logica extensible y con soporte para analisis global (an extensible, global analysis friendly logic programming system)<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un sistema de programacion logica extensible y con soporte para analisis global (an extensible, global analysis friendly logic programming system) <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Daniel Cabeza Gras <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 07\/09\/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>Manuel Hermenegildo Salinas<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco Bueno carrillo <\/li>\n<li>enrico Pontelli (vocal)<\/li>\n<li>bart Demoen (vocal)<\/li>\n<li> Garcia de la banda Mar\u00eda (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Daniel Cabeza Gras El objetivo de esta tesis doctoral es dise\u00f1ar y desarrollar un sistema de programaci\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":[16008],"tags":[152750,152749,44527,30627,152751,4816],"class_list":["post-69839","post","type-post","status-publish","format-standard","hentry","category-politecnica-de-madrid","tag-bart-demoen","tag-daniel-cabeza-gras","tag-enrico-pontelli","tag-francisco-bueno-carrillo","tag-garcia-de-la-banda-maria","tag-manuel-hermenegildo-salinas"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/69839","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=69839"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/69839\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=69839"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=69839"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=69839"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}