Construcción de programas que manejan dinámicamente la memoria / Renato Cherini.
Detalles de publicación: [S.l. : s.n. ], 2015.Descripción: vii, 208 p. : il. ; 30 cmTema(s):- Software Engineering -- Program verification
- Logics and meanings of programs
- Artificial Intelligence
- Computation by Abstract Devices
- Ingeniería de Software -- Verificación de programas
- Lógica y significado de programas
- Inteligencia artificial
- Separation logic
- Verificación
- Memoria dinámica
- Análisis estático
- Intérpretes
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Tesis de Doctorado | FaMAF Vitrina | T C CHE | 1 | Disponible | Disponible también en línea | 22352 |
Incluye apéndices de cada uno de los 6 capítulos.
Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015.
Bibliografía: p. 195-208.
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.
Disponible en línea.
cc Creative Commons Atribución-NoComercial-CompartirIgual 2.5 Argentina. CC BY-NC-SA