{"id":14028,"date":"2018-03-09T09:00:33","date_gmt":"2018-03-09T09:00:33","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/analisis-de-programas-en-lenguajes-funcionales-paralelos\/"},"modified":"2018-03-09T09:00:33","modified_gmt":"2018-03-09T09:00:33","slug":"analisis-de-programas-en-lenguajes-funcionales-paralelos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/analisis-de-programas-en-lenguajes-funcionales-paralelos\/","title":{"rendered":"Analisis de programas en lenguajes funcionales paralelos"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Segura Diaz Clara M. <\/strong><\/h2>\n<p>Las tecnicas de analisis de programas se han demostrado \u00fatiles en todo tipo de lenguajes de programaci\u00f3n para determinar de forma est\u00e1tica aproximaciones a las propiedades din\u00e1micas de los programas. Sus aplicaciones incluyen la optimizaci\u00f3n y transformaci\u00f3n de los programas, asi como la demostraci\u00f3n o verificacion de propiedades de los mismos. El desarrollo y la aplicaci\u00f3n de las tecnicas de an\u00e1lisis a los lenguajes funcionales ha sido muy amplio en estas dos ultimas d\u00e9cadas. Esta tesis se enmarca en el \u00e1rea de an\u00e1lisis est\u00e1ticos de programas aplicados a los lenguajes funcionales paralelos. la programaci\u00f3n funcional paralela es un \u00e1rea de investigaci\u00f3n intensa en la actualidad que proporciona nuevos problemas en el campo de los analisis de programas, pero es aun un area poco trabajada donde queda mucho por hacer. En esta tesis se definen tres an\u00e1lisis aplicados al lenguaje funcional paralelo eden:  -analisis de conexi\u00f3n directa: tiene como objetivo optimizar los programas eden reduciedo sobrecargas debidas a la creaci\u00f3n de procesos y a la comunicaci\u00f3n entre ellos.  -analisis de no determinismo: pretende delimitar aquellas partes de los programas ed\u00e9n donde es posible mantener el razonamiento ecuacional caracteristico de los lenguajes funcionales.  -analisis de terminaci\u00f3n y productividad: es un sistema de demostraci\u00f3n de propiedades de terminacion y productividad de los programas ed\u00e9n que garantiza la ausencia de bloqueos en ellos.  para definir estos an\u00e1lisis se han utilizado algunas de las tecnicas usadas en el an\u00e1lisis de los lenguajes funcionales: la interpretaci\u00f3n abstracta y los sistemas de tipos anotados.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Analisis de programas en lenguajes funcionales paralelos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Analisis de programas en lenguajes funcionales paralelos <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Segura Diaz Clara M. <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 26\/11\/2001<\/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>Ricardo Pe\u00f1a Mari<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  De frutos escrig david <\/li>\n<li>rita Loogen (vocal)<\/li>\n<li>salvador Lucas alba (vocal)<\/li>\n<li>hans-wolfgang Loidl (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Segura Diaz Clara M. Las tecnicas de analisis de programas se han demostrado \u00fatiles en todo tipo [&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":[1890,6474,126,6473],"tags":[6476,45327,16545,45325,45326,45324],"class_list":["post-14028","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-lenguajes-de-programacion","category-matematicas","category-teoria-de-la-programacion","tag-de-frutos-escrig-david","tag-hans-wolfgang-loidl","tag-ricardo-pena-mari","tag-rita-loogen","tag-salvador-lucas-alba","tag-segura-diaz-clara-m"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/14028","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=14028"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/14028\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=14028"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=14028"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=14028"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}