{"id":34796,"date":"1998-01-01T00:00:00","date_gmt":"1998-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/analisis-de-lenguajes-logicos-concurrentes-mediante-interpretacion-abstracta\/"},"modified":"1998-01-01T00:00:00","modified_gmt":"1998-01-01T00:00:00","slug":"analisis-de-lenguajes-logicos-concurrentes-mediante-interpretacion-abstracta","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/analisis-de-lenguajes-logicos-concurrentes-mediante-interpretacion-abstracta\/","title":{"rendered":"Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Mar\u00eda  Del Mar Gallardo Melgarejo <\/strong><\/h2>\n<p>En la memoria se muestran distintas aplicaciones de la tecnica de interpretaci\u00f3n abstracta para el an\u00e1lisis est\u00e1tico de los lenguajes l\u00f3gicos concurrentes. El objetivo fundamental de los an\u00e1lisis es deducir informaci\u00f3n sobre la granularidad de los programas l\u00f3gicos concurrentes para que sea posible realizar ejecuciones paralelas eficientes de estos programas, incluso sobre sistemas d\u00e9bilmente acoplados.  con esta idea se han desarrollado tres an\u00e1lisis: de modo, de tipo y de las relaciones de tama\u00f1o cuya correcci\u00f3n se ha probado utilizando t\u00e9cnicas propias del m\u00e9todo abstracto. De forma complementaria, a partir del m\u00e9todo inductivo utilizado para demostrar la terminaci\u00f3n del an\u00e1lisis de las relaciones de tama\u00f1o, se ha estudiado la relaci\u00f3n entre las t\u00e9cnicas de verificaci\u00f3n de programas e interpretaci\u00f3n abstracta. As\u00edmismo, el an\u00e1lisis de tipo se ha utilizado para analizar de forma est\u00e1tica el bloque en los lenguajes l\u00f3gicos concurrentes.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Mar\u00eda  Del Mar Gallardo Melgarejo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1998<\/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>Jos\u00e9 Mar\u00eda Troya Linero<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Emilio Lopez Zapata <\/li>\n<li>Juan  Jos\u00e9 Moreno Navarro (vocal)<\/li>\n<li>Manuel Hermenegildo Salinas (vocal)<\/li>\n<li> Ruz Ortiz Jos\u00e9 Jaime (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Mar\u00eda Del Mar Gallardo Melgarejo En la memoria se muestran distintas aplicaciones de la tecnica de interpretaci\u00f3n [&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,7834,126,6473],"tags":[2537,4814,16231,4816,77041,4812],"class_list":["post-34796","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-informatica","category-malaga","category-matematicas","category-teoria-de-la-programacion","tag-emilio-lopez-zapata","tag-jose-maria-troya-linero","tag-juan-jose-moreno-navarro","tag-manuel-hermenegildo-salinas","tag-maria-del-mar-gallardo-melgarejo","tag-ruz-ortiz-jose-jaime"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/34796","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=34796"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/34796\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=34796"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=34796"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=34796"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}