{"id":39730,"date":"1999-01-01T00:00:00","date_gmt":"1999-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/programacion-declarativa-con-restricciones-sobre-tipos-de-datos-algebraicos\/"},"modified":"1999-01-01T00:00:00","modified_gmt":"1999-01-01T00:00:00","slug":"programacion-declarativa-con-restricciones-sobre-tipos-de-datos-algebraicos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/programacion-declarativa-con-restricciones-sobre-tipos-de-datos-algebraicos\/","title":{"rendered":"Programacion declarativa con restricciones sobre tipos de datos algebraicos."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Purificacion Arenas Sanchez <\/strong><\/h2>\n<p>El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones dentro de la programaci\u00f3n l\u00f3gico funcional perezosa. Por constructoras de datos algebraicas entendemos constructoras de datos cuyo comportamiento est\u00e1 definido por un conjunto finito de axiomas ecuacionales.  presentamos un marco general para la programaci\u00f3n l\u00f3gico funcional perezosa que permite utilizar cualesquiera constructoras algebraicas gobernadas por axiomas ecuacionales fuertemente regulares (i.E., Ambos lados de la ecuaci\u00f3n contienen las mismas variables y un s\u00edmbolo de constructora en cabeza), tipos polim\u00f3rficos, igualdad estricta y funciones indeterministas. el marco resultante tiene una buena fundamentaci\u00f3n te\u00f3rica, tanto desde un punto de vista declarativo como operacional. Con respecto a la sem\u00e1ntica declarativa, cualquier programa p, cuyas constructoras de datos est\u00e9n gobernadas por un conjunto finito c de axiomas fuertemente regulares y bien tipificados, tiene modelos libres. Operacionalmente, hemos desarrollado un c\u00e1lculo de resoluci\u00f3n de objetivos que combina el estrechamiento perezoso con la unificaci\u00f3n m\u00f3dulo las ecuaciones contenidas en c. El mecanismo operacional resultante es correcto y completo con respecto a la sem\u00e1ntica declarativa.  como extensi\u00f3n natural del marco general (que s\u00f3lo incorpora la restricci\u00f3n de igualdad) hemos investigado un lenguaje, denominado seta, que permite manipular n\u00fameros reales, multiconjuntos (como \u00fanica constructora algebraica), constructoras libres y restricciones. m\u00e1s concretamente, seta incorpora restricciones primitivas sobre n\u00fameros reales (al estilo del lenguaje clp(r), de igualdad y desigualdad entre expresiones, y de pertenencia y no pertenencia de un elemento a un multiconjunto.  hemos demostrado que cualquier programa seta tiene modelos libres gracias, en particular, a que el axioma de conmutatividad que rige el comportamiento de la constr<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Programacion declarativa con restricciones sobre tipos de datos algebraicos.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Programacion declarativa con restricciones sobre tipos de datos algebraicos. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Purificacion Arenas Sanchez <\/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>Mario Rodr\u00edguez Artalejo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Frutos escrig david de <\/li>\n<li>giorgio Levi (vocal)<\/li>\n<li>Mar\u00eda Alpuente frasnedo (vocal)<\/li>\n<li>ernesto Pimentel sanchez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Purificacion Arenas Sanchez El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones [&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":[41295,5511,102041,6479,4813,102040],"class_list":["post-39730","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-ernesto-pimentel-sanchez","tag-frutos-escrig-david-de","tag-giorgio-levi","tag-maria-alpuente-frasnedo","tag-mario-rodriguez-artalejo","tag-purificacion-arenas-sanchez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/39730","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=39730"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/39730\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=39730"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=39730"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=39730"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}