{"id":39605,"date":"1999-01-01T00:00:00","date_gmt":"1999-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/programacion-logico-funcional-con-tipos-parametricos-y-generos-ordenados\/"},"modified":"1999-01-01T00:00:00","modified_gmt":"1999-01-01T00:00:00","slug":"programacion-logico-funcional-con-tipos-parametricos-y-generos-ordenados","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/programacion-logico-funcional-con-tipos-parametricos-y-generos-ordenados\/","title":{"rendered":"Programacion logico-funcional con tipos parametricos y generos ordenados."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jes\u00fas Almendros Jimenez <\/strong><\/h2>\n<p>Presentamos un lenguaje l\u00f3gico-funcional con subtipos en el que las reglas de programa consisten en reglas de reescritura bien tipificadas condicionales basadas en constructoras donde las condiciones pueden contener ecuaciones y condiciones de tipos. para este lenguaje damos diferentes caracterizaciones sem\u00e1nticas, primero mediante una l\u00f3gica de reescritura tipificada, que permite probar la validez ecuaciones y condiciones de tipos respecto a un programa. Unido a este, definimos una sem\u00e1ntica operacional basada en estrechamiento perezoso y que combina la unificaci\u00f3n perezosa con la resoluci\u00f3n de ecuaciones, la comprobaci\u00f3n de tipos para expresiones y la resoluci\u00f3n de subtipos y probamos que la sem\u00e1ntica operacional es correcta y completa respecto a la l\u00f3gica de reescritura. Por otro lado, estudiamos la sem\u00e1ntica denotacional y declarativa del lenguaje, a trav\u00e9s del estudio de los modelos de scott de un programa. Probamos que existe un modelo libremente generado en la categor\u00eda de modelos de un programa que es punto fijo de un operador de consecuencias inmediatas definido a partir del programa, y probamos que la sem\u00e1ntica denotacional es correcta y completa con respecto a la l\u00f3gica de reescritura. adem\u00e1s describimos la implementaci\u00f3n del lenguaje basada en traducir los programas a prolog, en la que se describe como el uso de los tipos permite la poda del espacio de b\u00fasqueda de soluciones de un objetivo. Como parte de la implementaci\u00f3n, estudiamos el an\u00e1lisis de tipos en tiempo de compilaci\u00f3n, proporcionando mecanismos de inferencia y comprobaci\u00f3n de tipos.  finalmente estudiamos c\u00f3mo extender el lenguaje con funciones de orden superior.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Programacion logico-funcional con tipos parametricos y generos ordenados.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Programacion logico-funcional con tipos parametricos y generos ordenados. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jes\u00fas Almendros Jimenez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1999<\/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>Antonio Gavilanes Franco<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: mario Rodr\u00edguez artalejo <\/li>\n<li>ernesto Pimentel sanchez (vocal)<\/li>\n<li>Juan  Jos\u00e9 Moreno navarro (vocal)<\/li>\n<li>francisca Lucio carrasco (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jes\u00fas Almendros Jimenez Presentamos un lenguaje l\u00f3gico-funcional con subtipos en el que las reglas de programa consisten [&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":[101834,41295,6567,72675,16231,4813],"class_list":["post-39605","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-antonio-gavilanes-franco","tag-ernesto-pimentel-sanchez","tag-francisca-lucio-carrasco","tag-jesus-almendros-jimenez","tag-juan-jose-moreno-navarro","tag-mario-rodriguez-artalejo"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/39605","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=39605"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/39605\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=39605"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=39605"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=39605"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}