{"id":59517,"date":"2018-03-09T22:47:21","date_gmt":"2018-03-09T22:47:21","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/debugging-techniques-for-declarative-languages-profiling-program-slicing-and-algorithmic-debugging\/"},"modified":"2018-03-09T22:47:21","modified_gmt":"2018-03-09T22:47:21","slug":"debugging-techniques-for-declarative-languages-profiling-program-slicing-and-algorithmic-debugging","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/teoria-de-la-programacion\/debugging-techniques-for-declarative-languages-profiling-program-slicing-and-algorithmic-debugging\/","title":{"rendered":"Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging"},"content":{"rendered":"

Tesis doctoral de Josep Francesc Silva Galiana <\/strong><\/h2>\n

La depuraci\u00f3n de programas puede ser una tarea ardua. Esto se debe fundamentalmente a que los errores pueden ser evidentes al primer vistazo, o pueden estar escondidos en las zonas m\u00e1s profundas y ocultas de nuestros programas. Sin embargo, sorprendentemente, la depuraci\u00f3n es uno de los procesos software que ha sido menos tratado por la comunidad cient\u00edfica; de hecho, las mismas t\u00e9cnicas de depuraci\u00f3n que se usaban hace veinte a\u00f1os, contin\u00faan utiliz\u00e1ndose en la actualidad. La situaci\u00f3n no es diferente en el contexto de los lenguajes declarativos. O es incluso peor, porque estos lenguajes suelen presentar dificultades adicionales a la hora de depurarlos debido, por ejemplo, al mecanismo de evaluaci\u00f3n perezosa. En esta tesis se revisan los m\u00e9todos actuales de depuraci\u00f3n para lenguajes declarativos y se desarrollan nuevos m\u00e9todos y t\u00e9cnicas basadas en el c\u00f3mputo de costes, la fragmentaci\u00f3n de programas y la depuraci\u00f3n algor\u00edtmica. Brevemente, las principales contribuciones de la tesis son: – la definici\u00f3n de un esquema de c\u00f3mputo de costes para programas l\u00f3gico funcionales que est\u00e1 basado en el uso de centros de coste y que permite medir diferentes tipos de costes simb\u00f3licos. – la formulaci\u00f3n de una nueva t\u00e9cnica de fragmentaci\u00f3n din\u00e1mica de programas basada en redex trails, su aplicaci\u00f3n a la depuraci\u00f3n y su adaptaci\u00f3n para la especializaci\u00f3n de programas declarativos multi-paradigma modernos. – la introducci\u00f3n de un nuevo esquema de depuraci\u00f3n algor\u00edtmica que combina la depuraci\u00f3n algor\u00edtmica convencional con la fragmentaci\u00f3n de programas. – la definici\u00f3n de tres nuevas estrategias para depuraci\u00f3n algor\u00edtmica. – el desarrollo de un estudio comparativo y una posterior clasificaci\u00f3n de t\u00e9cnicas de fragmentaci\u00f3n de programas y estrategias de depuraci\u00f3n algor\u00edtmica.<\/p>\n

 <\/p>\n

Datos acad\u00e9micos de la tesis doctoral \u00abDebugging techniques for declarative languages: profiling, program slicing and algorithmic debugging<\/strong>\u00ab<\/h3>\n
    \n
  • T\u00edtulo de la tesis:<\/strong>\u00a0 Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging <\/li>\n
  • Autor:<\/strong>\u00a0 Josep Francesc Silva Galiana <\/li>\n
  • Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n
  • Fecha de lectura de la tesis:<\/strong>\u00a0 29\/06\/2007<\/li>\n<\/ul>\n

     <\/p>\n

    Direcci\u00f3n y tribunal<\/h3>\n
      \n
    • Director de la tesis<\/strong>\n
        \n
      • Vidal Oriola Germ\u00e1n Francisco<\/li>\n<\/ul>\n<\/li>\n
      • Tribunal<\/strong>\n
          \n
        • Presidente del tribunal: Mar\u00eda Alpuente frasnedo <\/li>\n
        • elvira Albert albiol (vocal)<\/li>\n
        • michael Hanus (vocal)<\/li>\n
        • Rafael Caballero roldan (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n

           <\/p>\n","protected":false},"excerpt":{"rendered":"

          Tesis doctoral de Josep Francesc Silva Galiana La depuraci\u00f3n de programas puede ser una tarea ardua. Esto se debe fundamentalmente […]<\/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":[6474,16820,6473],"tags":[131503,131502,6479,53766,85858,129443],"class_list":["post-59517","post","type-post","status-publish","format-standard","hentry","category-lenguajes-de-programacion","category-politecnica-de-valencia","category-teoria-de-la-programacion","tag-elvira-albert-albiol","tag-josep-francesc-silva-galiana","tag-maria-alpuente-frasnedo","tag-michael-hanus","tag-rafael-caballero-roldan","tag-vidal-oriola-german-francisco"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/59517","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=59517"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/59517\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=59517"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=59517"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=59517"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}