{"id":33325,"date":"2018-03-09T09:30:24","date_gmt":"2018-03-09T09:30:24","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tecnicas-avanzadas-de-compilacion-basadas-en-interpretacion-abstracta-y-transformacion-de-programas\/"},"modified":"2018-03-09T09:30:24","modified_gmt":"2018-03-09T09:30:24","slug":"tecnicas-avanzadas-de-compilacion-basadas-en-interpretacion-abstracta-y-transformacion-de-programas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/tecnicas-avanzadas-de-compilacion-basadas-en-interpretacion-abstracta-y-transformacion-de-programas\/","title":{"rendered":"Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas."},"content":{"rendered":"<h2>Tesis doctoral de <strong> \u00c1lvaro Germ\u00e1n Puebla S\u00e1nchez <\/strong><\/h2>\n<p>El an\u00e1lisis est\u00e1ticos de programas juega un papel cada vez m\u00e1s importante en los compiladores actuales, ya que permite obtener informaci\u00f3n en tiempo de compilaci\u00f3n sobre el comportamiento del programa en tiempo de ejecuci\u00f3n. Dicha informaci\u00f3n es \u00fatil posteriormente tanto para comprobar que el programa cumple las especificaciones dadas como para optimizar el programa.  en esta tesis se presentan primero algunas t\u00e9cnicas b\u00e1sicas de an\u00e1lisis global tales como algoritmos para an\u00e1lisis incremental eficiente, que permiten la reutilizaci\u00f3n de la informaci\u00f3n de an\u00e1lisis anteriores cuando un programa analizado sufre alguna modificaci\u00f3n, y m\u00e9todos para el an\u00e1lisis de las caracter\u00edsticas complejas de los lenguajes de programaci\u00f3n reales, tales como efectos laterales o modificaci\u00f3n din\u00e1mica del programa.  tambi\u00e9n se proponen t\u00e9cnicas de optimizaci\u00f3n de programas, las cuales se encuadran dentro del marco general de la especializaci\u00f3n: el programa resultante es v\u00e1lido para el caso particular considerado y m\u00e1s eficiente que el programa original. Se presenta un tipo de especializaci\u00f3n que es abstracta, en el sentido de que el programa se especializa no con respecto a valores concretos, sino con respecto a valores abstractos, que tambi\u00e9n se pueden ver como conjuntos (posiblemente infinitos) de valores concretos, e profundiza en la relaci\u00f3n entre la especializaci\u00f3n abstracta y la evaluaci\u00f3n parcial tradicional y en c\u00f3mo integrar ambas en un nuevo marco que re\u00fane las ventajas de cada una de ellas. Se presenta tambi\u00e9n un lenguaje de aserciones que permite al mismo tiempo al usuario expresar requisitos (especificaciones) sobre el programa y al analizador expresar los resultados del an\u00e1lisis. Esto facilita la comunicaci\u00f3n entre el usuario y las distintas herramientas del entorno de desarrollo de programas, as\u00ed como entre dichas herramientas. Finalmente, se presenta un esquema de validaci\u00f3n de aserciones que comb<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Tecnicas avanzadas de compilacion basadas en interpretacion abstracta y transformacion de programas. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 \u00c1lvaro Germ\u00e1n Puebla S\u00e1nchez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 21\/11\/1997<\/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: Luis Mar\u00eda Laita de la rica <\/li>\n<li>pierre Deransart (vocal)<\/li>\n<li>Juan  Jos\u00e9 Moreno navarro (vocal)<\/li>\n<li>peter Stuckey (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de \u00c1lvaro Germ\u00e1n Puebla S\u00e1nchez El an\u00e1lisis est\u00e1ticos de programas juega un papel cada vez m\u00e1s importante en [&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,2528,6474,126,16008],"tags":[91003,16231,10819,4816,91005,91004],"class_list":["post-33325","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-lenguajes-de-programacion","category-matematicas","category-politecnica-de-madrid","tag-alvaro-german-puebla-sanchez","tag-juan-jose-moreno-navarro","tag-luis-maria-laita-de-la-rica","tag-manuel-hermenegildo-salinas","tag-peter-stuckey","tag-pierre-deransart"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/33325","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=33325"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/33325\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=33325"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=33325"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=33325"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}