{"id":26624,"date":"2018-03-09T09:18:32","date_gmt":"2018-03-09T09:18:32","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/strategies-and-analisis-techniques-for-functional-program-optimization\/"},"modified":"2018-03-09T09:18:32","modified_gmt":"2018-03-09T09:18:32","slug":"strategies-and-analisis-techniques-for-functional-program-optimization","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/politecnica-de-valencia\/strategies-and-analisis-techniques-for-functional-program-optimization\/","title":{"rendered":"Strategies and an\u00e1lisis techniques for functional program optimization"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Santiago Escobar Rom\u00e1n <\/strong><\/h2>\n<p>Los sistemas inform\u00e1ticos desempe\u00f1an un papel importante en la moderna sociedad de la informaci\u00f3n. Sin embargo, la baja calidad del software y su bajo nivel de abstracci\u00f3n inhiben la necesaria confianza de los usuarios finale sy desarrolladores de sistemas en la ingenier\u00eda de la programaci\u00f3n. la correcci\u00f3n de programas inform\u00e1ticos a trav\u00e9s de una teor\u00eda matem\u00e1tica de la computaci\u00f3n es el primoridal inter\u00e9s de la teor\u00eda de la programaci\u00f3n y de su aplicaci\u00f3n a la ingenier\u00eda de la programaci\u00f3n a gran escala. Los m\u00e9todos formales proveen a la ingenier\u00eda de la programaci\u00f3n del adecuado marco cient\u00edfico y tecnol\u00f3gico para convertirse en una ingenier\u00eda real, tan predecible como son la ingenier\u00eda de caminos, canales y puertos a la ingenier\u00eda industrial. De hecho, el uso durante todas las etapas del desarrollo de programas, de lenguajes de programaci\u00f3n declarativos basados en reglas, asegura la utilizaci\u00f3n de metodolog\u00edas formales correctas y certificadas a lo largo del proceso de producci\u00f3n de programas.  los programas se describen normalmente como sistemas de reescritura de t\u00e9rminos en los lenguajes de programaci\u00f3n declarativos basados en reglas. la ejecuci\u00f3n de un programa consiste en reducir (o reescribir) t\u00e9rminos de entrada en t\u00e9rminos de salida con la aplicaci\u00f3n de una secuencia de reglas. El estrechamiento es una extensi\u00f3n de la reescritura para sistemas de reescritura de t\u00e9rminos que permite la instanciaci\u00f3n de variables en los t\u00e9rminos de entrada con el objetivo de activar pasos de reescritura en la expresi\u00f3n instanciada. La reescritura (as\u00ed como el estrechamiento) son en general indecidibles, es decir no se puede determinar si un t\u00e9rminos se reescribe (o estrecha) a otro. El espacio de reducci\u00f3n asociado a un t\u00e9rmino de entrada es enorme debido a las diferentes posibilidades de selecci\u00f3n de los subt\u00e9rminos a reducir y las reglas aplicables a dichos subt\u00e9rminos. esta situaci\u00f3n se agrava en<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Strategies and an\u00e1lisis techniques for functional program optimization<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Strategies and an\u00e1lisis techniques for functional program optimization <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Santiago Escobar Rom\u00e1n <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 31\/10\/2003<\/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>Mar\u00eda Alpuente Frasnedo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: isidro Ramos salavert <\/li>\n<li>hel\u00e9ne Kirchner (vocal)<\/li>\n<li>Jos\u00e9 Meseguer guaitia (vocal)<\/li>\n<li>Francisco Javier Lopez fraguas (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Santiago Escobar Rom\u00e1n Los sistemas inform\u00e1ticos desempe\u00f1an un papel importante en la moderna sociedad de la informaci\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":[16820],"tags":[6475,76938,17055,76939,6479,76937],"class_list":["post-26624","post","type-post","status-publish","format-standard","hentry","category-politecnica-de-valencia","tag-francisco-javier-lopez-fraguas","tag-helene-kirchner","tag-isidro-ramos-salavert","tag-jose-meseguer-guaitia","tag-maria-alpuente-frasnedo","tag-santiago-escobar-roman"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/26624","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=26624"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/26624\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=26624"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=26624"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=26624"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}