{"id":50379,"date":"2021-06-07T22:00:26","date_gmt":"2021-06-07T22:00:26","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/programacio-amb-tipus-abstractes-de-dades-els-tipus-abstractes-com-a-suport-conceptual-dels-esquemes-de-programa\/"},"modified":"2021-06-07T22:00:26","modified_gmt":"2021-06-07T22:00:26","slug":"programacio-amb-tipus-abstractes-de-dades-els-tipus-abstractes-com-a-suport-conceptual-dels-esquemes-de-programa","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/programacio-amb-tipus-abstractes-de-dades-els-tipus-abstractes-com-a-suport-conceptual-dels-esquemes-de-programa\/","title":{"rendered":"Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Pere Botella L\u00f3pez <\/strong><\/h2>\n<p>Se presenta un nuevo enfoque del uso de tipos de datos en la construccion de programas  de forma que estos se constituyen en soporte formal de los esquemas de programa. Asi  se llega a una sintesis de dos metodos de programacion: el uso de tipos abstractos y el uso de esquemas. Como consecuencia se formaliza el tratamiento de filas y arboles mediante esquemas  y se define un metodo de verificacion para programas abstractos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Pere Botella L\u00f3pez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de catalunya<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1982<\/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>Fernando Orejas Vald\u00e9s<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Manuel Marti Recober <\/li>\n<li>Isidro Ramos Salavert (vocal)<\/li>\n<li>Enric Trillas Ru\u00edz (vocal)<\/li>\n<li>Marti Verges Trias (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Pere Botella L\u00f3pez Se presenta un nuevo enfoque del uso de tipos de datos en la construccion [&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,126,15596,6473],"tags":[2533,5512,17055,47781,30500,15853],"class_list":["post-50379","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-catalunya","category-teoria-de-la-programacion","tag-enric-trillas-ruiz","tag-fernando-orejas-valdes","tag-isidro-ramos-salavert","tag-manuel-marti-recober","tag-marti-verges-trias","tag-pere-botella-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/50379","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=50379"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/50379\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=50379"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=50379"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=50379"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}