{"id":16336,"date":"2002-09-04T00:00:00","date_gmt":"2002-09-04T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/objetos-localmente-efectivos-y-tipos-abstractos-de-datos\/"},"modified":"2002-09-04T00:00:00","modified_gmt":"2002-09-04T00:00:00","slug":"objetos-localmente-efectivos-y-tipos-abstractos-de-datos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/objetos-localmente-efectivos-y-tipos-abstractos-de-datos\/","title":{"rendered":"Objetos localmente efectivos y tipos abstractos de datos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Vico Pascual Mart\u00ednez-losa <\/strong><\/h2>\n<p>El primer cap\u00edtulo comienza con una secci\u00f3n en la que se presenta brevemente el sistema eat (effective algebraictopology). En la sengunda secci\u00f3n se fijan las definiciones, terminolog\u00eda y notaciones relativas a la teor\u00eda de conjuntos, la teor\u00eda de categorias y las especificaciones algebr\u00e1icas que se usan. El cap\u00edtulo 2 presenta la construcci\u00f3n central de la memoria, denotada (.)Imp, en un contexto puramente algebr\u00e1ico. Adem\u00e1s se interpreta la construcci\u00f3n (.)Imp en el marco de la teor\u00eda de categor\u00edas y se analizan detalladamente sus relaciones con las especificaciones ocultas y las coalgebraicas. en el cap\u00edtulo 3 se introduce la categor\u00eda de implementaciones de un tipo abstracto de datos (en common lisp) y se muestra el papel de la construcci\u00f3n (.)Imp para interpretar en este contexto las estructuras de eat en t\u00e9rminos de objetos finales de categor\u00edas. En el \u00faltimo cap\u00edtulo, el cuarto, los resultados anteriores son refinados al incluir expl\u00edcitamente informaci\u00f3n relativa a los invariantes y las igualdades de las implementaciones. All\u00ed se explican tambi\u00e9n las diferencias entre las representaciones localmente efectivas y las efectivas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Objetos localmente efectivos y tipos abstractos de datos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Objetos localmente efectivos y tipos abstractos de datos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Vico Pascual Mart\u00ednez-losa <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Rioja<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 09\/04\/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>Laureano Lamban Pardo<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: eladio Dom\u00ednguez murillo <\/li>\n<li> Freire nistal Jos\u00e9 Luis (vocal)<\/li>\n<li>tomas Recio mu\u00f1iz (vocal)<\/li>\n<li>francis Sergeraert (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Vico Pascual Mart\u00ednez-losa El primer cap\u00edtulo comienza con una secci\u00f3n en la que se presenta brevemente el [&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,13880,6474,126,18890],"tags":[10833,41937,10525,51683,3530,51682],"class_list":["post-16336","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-informatica","category-lenguajes-de-programacion","category-matematicas","category-rioja","tag-eladio-dominguez-murillo","tag-francis-sergeraert","tag-freire-nistal-jose-luis","tag-laureano-lamban-pardo","tag-tomas-recio-muniz","tag-vico-pascual-Martinez-losa"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/16336","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=16336"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/16336\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=16336"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=16336"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=16336"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}