{"id":17125,"date":"2018-03-09T09:05:03","date_gmt":"2018-03-09T09:05:03","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/semantica-y-analisis-de-programas-logico-funcionales\/"},"modified":"2018-03-09T09:05:03","modified_gmt":"2018-03-09T09:05:03","slug":"semantica-y-analisis-de-programas-logico-funcionales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/semantica-y-analisis-de-programas-logico-funcionales\/","title":{"rendered":"Sem\u00e1ntica y an\u00e1lisis de programas l\u00f3gico funcionales"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Julio Mari\u00f1o Carballo <\/strong><\/h2>\n<p>Los lenguajes de programaci\u00f3n l\u00f3gico-funcionales son un intento de integrar las dos ramas principales de la programaci\u00f3n declarativa: los lenguajes l\u00f3gicos y los funcionales. Durante la d\u00e9cada de los 80 se definieron unos cuantos de estos lenguajes y, de hecho, dos de ellos con la participaci\u00f3n de nuestro departamento: babel y su sucesor, curry.  sin embargo, cuando nos movemos de la formulaci\u00f3n te\u00f3rica a las realizaciones pr\u00e1cticas aparecen una serie de problemas. Algunos son provocados porla incompatibilidad de distintos mecanismos de ejecuci\u00f3n adaptados de cada una de las dos partes &#8212; por ejemplo, la evaluaci\u00f3n perezosa necesaria para realizar la sem\u00e1ntica no estricta en los lenguajes funcionales y las t\u00e9cnicas de retroceso usadas en prolog para el tratamiento del indeterminismo y las variables l\u00f3gicas.  esta tesis abarca gran parte del trabajo de investigaci\u00f3n que he llevado a cabo en la facultad de inform\u00e1tica de la universidad polit\u00e9cnica de Madrid. esta investigaci\u00f3n ha girado, fundamentalmente, alrededor de la optimizaci\u00f3n, basada en m\u00e9todos sem\u00e1nticos, de la compilaci\u00f3n de programas l\u00f3gico-funcionales.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Sem\u00e1ntica y an\u00e1lisis de programas l\u00f3gico funcionales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Sem\u00e1ntica y an\u00e1lisis de programas l\u00f3gico funcionales <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Julio Mari\u00f1o Carballo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 30\/05\/2002<\/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>Juan  Jose Moreno Navarro<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Collado machuca Manuel enrique <\/li>\n<li>michael Hanus (vocal)<\/li>\n<li>alan Mycroft (vocal)<\/li>\n<li>Mar\u00eda Alpuente frasnedo (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Julio Mari\u00f1o Carballo Los lenguajes de programaci\u00f3n l\u00f3gico-funcionales son un intento de integrar las dos ramas principales [&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":[53767,53765,16231,53764,6479,53766],"class_list":["post-17125","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-alan-mycroft","tag-collado-machuca-manuel-enrique","tag-juan-jose-moreno-navarro","tag-julio-marino-carballo","tag-maria-alpuente-frasnedo","tag-michael-hanus"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17125","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=17125"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/17125\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=17125"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=17125"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=17125"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}