dc.contributor.advisor | Blanco, Javier Oscar, dir. | |
dc.contributor.author | Cherini, Renato | |
dc.date.accessioned | 2016-08-04T16:23:13Z | |
dc.date.available | 2016-08-04T16:23:13Z | |
dc.date.issued | 2015-08-06 | |
dc.identifier.uri | http://hdl.handle.net/11086/2879 | |
dc.description | Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. | es |
dc.description.abstract | En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para considerar cuestiones ontológicas y epistemológicas de la propia tarea de verificación formal, a través de una generalización del concepto de intérprete, que nos permite relacionar los aspectos abstractos y concretos de la computación. En el plano metodológico, la principal contribución es la introducción
de la Sharing Logic, que permite especificar de forma precisa estructuras dinámicas complejas y las relaciones entre ellas, de manera compatible con los principios de abstracción e information hiding. En el plano práctico, abordamos la decidibilidad del problema de validez de un fragmento de nuestra Sharing Logic que permite caracterizar estructuras de datos como listas enlazadas y segmentos de ellas. Además presentamos un análisis estático, que verifica automáticamente programas que manipulan estructuras de datos no lineales. | es |
dc.language.iso | spa | es |
dc.rights | Atribución-NoComercial-CompartirIgual 2.5 Argentina | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | * |
dc.subject | Ingeniería de Software | es |
dc.subject | Lógica y significado de programas | es |
dc.subject | Inteligencia artificial | es |
dc.subject | Software Engineering | en |
dc.subject | Logics and meanings of programs | en |
dc.subject | Artificial Intelligence | en |
dc.subject.other | Verificación | es |
dc.subject.other | Memoria dinámica | es |
dc.subject.other | Análisis estático | |
dc.title | Construcción de programas que manejan dinámicamente la memoria | es |
dc.type | doctoralThesis | es |