{"id":112237,"date":"2018-03-11T10:39:04","date_gmt":"2018-03-11T10:39:04","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/certificacion-formal-de-programas-en-un-lenguaje-funcional-impaciente\/"},"modified":"2018-03-11T10:39:04","modified_gmt":"2018-03-11T10:39:04","slug":"certificacion-formal-de-programas-en-un-lenguaje-funcional-impaciente","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/certificacion-formal-de-programas-en-un-lenguaje-funcional-impaciente\/","title":{"rendered":"Certificaci\u00f3n formal de programas en un lenguaje funcional impaciente"},"content":{"rendered":"<h2>Tesis doctoral de <strong> JavierDe Dios Castro <\/strong><\/h2>\n<p>En esta tesis se propone un metodo basado en la infraestructura pcc para convertir las anotaciones inferidas por los an\u00e1lisis est\u00e1ticos del compilador del lenguaje safe, un lenguaje funcional impaciente, en demostraciones comprobables autom\u00e1ticamente  mediante el demostrador asistido de teoremas isabelle\/hol, permitiendo certificar ciertas propiedades en los programas. Estas propiedades son la ausencia de punteros descolgados y las cotas de memoria seguras.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Certificaci\u00f3n formal de programas en un lenguaje funcional impaciente<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Certificaci\u00f3n formal de programas en un lenguaje funcional impaciente <\/li>\n<li><strong>Autor:<\/strong>\u00a0 JavierDe Dios Castro <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 20\/01\/2012<\/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>Ricardo Pe\u00f1a Mar\u00ed<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: narciso Mart\u00ed oliet <\/li>\n<li>victor m. Gulias fernandez (vocal)<\/li>\n<li>Jes\u00fas Mar\u00eda Aransay azofra (vocal)<\/li>\n<li>salvador Lucas alba (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir [&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":[986,126],"tags":[223373,170450,66539,16545,45326,177172],"class_list":["post-112237","post","type-post","status-publish","format-standard","hentry","category-complutense-de-madrid","category-matematicas","tag-javierde-dios-castro","tag-jesus-maria-aransay-azofra","tag-narciso-marti-oliet","tag-ricardo-pena-mari","tag-salvador-lucas-alba","tag-victor-m-gulias-fernandez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/112237","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=112237"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/112237\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=112237"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=112237"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=112237"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}