{"id":65354,"date":"2018-03-09T22:53:25","date_gmt":"2018-03-09T22:53:25","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/formalizando-el-proceso-de-depuracion-en-programacion-funcional-paralela-y-perezosa\/"},"modified":"2018-03-09T22:53:25","modified_gmt":"2018-03-09T22:53:25","slug":"formalizando-el-proceso-de-depuracion-en-programacion-funcional-paralela-y-perezosa","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/formalizando-el-proceso-de-depuracion-en-programacion-funcional-paralela-y-perezosa\/","title":{"rendered":"Formalizando el proceso de depuraci\u00f3n en programaci\u00f3n funcional paralela y perezosa."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Alberto De La Encina Vara <\/strong><\/h2>\n<p>Un aspecto poco tratado hasta hace relativamente poco tiempo en el \u00e1rea de la programaci\u00f3n funcional perezosa ha sido el desarrollo de herramientas de depuraci\u00f3n. La falta de atenci\u00f3n a este aspecto tran relevante de los lenguajes funcionales perezos os se ha venido resolviendo en buena parte durante la \u00faltima decada. En este sentido, esta tesis aporta un interesante paso adicional desarrollando modelos formales para depuradores funcionales perezosos. Ahora bien, la principal novedad de la tesis se centra en la depuraci\u00f3n de programas funcionales paralelos. De hecho, durante estos a\u00f1os la programaci\u00f3n funcional paralela ha quedado al margen de los avances en el \u00e1mbito de la depuraci\u00f3n. La presente tesis presenta el primer depurador que funci ona con diversas extensiones paralelas del lenguaje funcional perezoso haskell. Adem\u00e1s, incluye una implementaci\u00f3n de dicha herramienta, y un estudio sem\u00e1ntico detallado sobre la misma.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Formalizando el proceso de depuraci\u00f3n en programaci\u00f3n funcional paralela y perezosa.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Formalizando el proceso de depuraci\u00f3n en programaci\u00f3n funcional paralela y perezosa. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Alberto De La Encina Vara <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 19\/06\/2008<\/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>Luis Fernando Llana D\u00edaz<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: ricardo Pe\u00f1a mar\u00ed <\/li>\n<li>Jos\u00e9 Emilio Labra gayo (vocal)<\/li>\n<li>rita Loogen (vocal)<\/li>\n<li>Jes\u00fas Almendros jimenez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Alberto De La Encina Vara Un aspecto poco tratado hasta hace relativamente poco tiempo en el \u00e1rea [&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":[144135,72675,40957,144136,16545,45325],"class_list":["post-65354","post","type-post","status-publish","format-standard","hentry","category-sin-categoria","tag-alberto-de-la-encina-vara","tag-jesus-almendros-jimenez","tag-jose-emilio-labra-gayo","tag-luis-fernando-llana-diaz","tag-ricardo-pena-mari","tag-rita-loogen"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/65354","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=65354"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/65354\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=65354"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=65354"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=65354"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}