CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Generación automática de invariantes lineales / Natalia Beatriz Bidart.

By: Bidart, Natalia Beatriz, 1979-.
Contributor(s): Barsotti, Damián, 1969- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n.], 2007Description: 116 p. : il. ; 30 cm.Subject(s): Software | Program verification | Specifyng and verifynig | Reasoning about programs | Automatic programming | Indecidibilidad | Sistemas de transiciones guardados | Poliedros convexos | Programación | chequeo estático | Abstract interpretationDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2007. Summary: El presente trabajo especial estudia los diferentes resultados teóricos relacionados con el cálculo automático de invariantes de programas, centrándose en las técnicas para abordar el problema de la indecidibilidad en la determinación de la corrección de un programa. Además se desarrolla formalmente una modificación al algoritmo ideado por Couot y Halbwachs en CH78, para que procese los sistemas de transiciones guardados presentados en BBM95, TRSS01. Asimismo se detalla el diseño e implementación de una herramienta que ejecuta el mencionado algoritmo modificado, del cual se demuestra formalmente las propiedades de corrección y terminación. La herramienta fue codificada con el lenguaje funcional ML, y la misma genera automática y estáticamente invariantes inductivas lineales sobre el dato de entrada, aplicando la técnica de abstract interpretation.
Tags from this library: No tags from this library for this title.
Item type Current location Call number Copy number Status Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C BID 1 Available 18641
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Deposito Interno
TE C BID ej.2 2 Available 18642
Total holds: 0

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2007.

Bibliografía : p.115-116.

El presente trabajo especial estudia los diferentes resultados teóricos relacionados con el cálculo automático de invariantes de programas, centrándose en las técnicas para abordar el problema de la indecidibilidad en la determinación de la corrección de un programa. Además se desarrolla formalmente una modificación al algoritmo ideado por Couot y Halbwachs en CH78, para que procese los sistemas de transiciones guardados presentados en BBM95, TRSS01. Asimismo se detalla el diseño e implementación de una herramienta que ejecuta el mencionado algoritmo modificado, del cual se demuestra formalmente las propiedades de corrección y terminación. La herramienta fue codificada con el lenguaje funcional ML, y la misma genera automática y estáticamente invariantes inductivas lineales sobre el dato de entrada, aplicando la técnica de abstract interpretation.

La biblioteca posee 2 ej.

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

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

publicofamaf@gmail.com



//