Imagen de cubierta local
Imagen de cubierta local
Imagen de Google Jackets

Construcción de programas que manejan dinámicamente la memoria / Renato Cherini.

Por: Colaborador(es): Detalles de publicación: [S.l. : s.n. ], 2015.Descripción: vii, 208 p. : il. ; 30 cmTema(s): Recursos en línea: Disponible en línea.
Contenidos parciales:
Verificación formal -- Lógicas a la Hoare y memoria dinámica -- Automatización y decidibilidad -- Intérpretes -- Funciones de interpretación y sistemas computacionales -- La verificación formal de programas -- El pancomputacionalismo -- Separation logics -- Cálculo de fórmulas -- Especificaciones y razonamiento sobre programas -- Estructuras de datos -- Sharing Logic -- Fórmulas con specified sharing -- Sistema deductivo y reglas de frame -- Tipos abstractos de datos con sharing -- Decidibilidad de la Sharing Logic -- Automatización de Separation Logic -- Analizando grafos generales -- Resultados experimentales.
Nota de disertación: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Resumen: 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.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Notas Fecha de vencimiento Código de barras Reserva de ítems
Tesis de Doctorado Tesis de Doctorado FaMAF Vitrina T C CHE 1 Disponible Disponible también en línea 22352
Total de reservas: 0

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

https://creativecommons.org/licenses/by-nc-sa/2.5/ar/

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)