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

Entorno para la derivación de programas / Emmanuel Gunther.

By: Gunther, Emmanuel, 1987-.
Contributor(s): Pagano, Miguel María, 1979- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n. ], 2013Description: iv, 83 p. : il. (algunas col.) ; 30 cm.Subject(s): Specifying, verifying and reasoning about programs | Semantics of programming languages | Derivación de programas | Semántica operacional | Semántica denotacionalOnline resources: Acceso a Versión Digital Disponible en línea.Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Summary: En el proceso de desarrollo de software, se pretende obtener un programa ejecutable a partir de una especificación, que en el caso más general puede estar dada en un lenguaje impreciso y ambiguo. Un enfoque para realizar esta tarea complicada consiste en tener un lenguaje formal para especificar problemas y luego aplicar reglas de transformación de expresiones que preserven la semántica, hasta obtener un programa. En la carrera de computación de FaMAF se enseña un método de derivación formal de programas. En este trabajo nos proponemos definir formalmente un lenguaje de especificación y derivación. Éste contendrá un lenguaje de programación funcional para el cual definiremos un sistema de tipos y probaremos buenas propiedades. Definiremos semántica y analizaremos los pasos a seguir para probar que el método de transformación de expresiones es correcto. Finalmente comentaremos la implementación de un entorno para derivar programas funcionales desarrollado en Haskell.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number URL Copy number Status Notes Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C GUN http://www.famaf.unc.edu.ar/institucional/biblioteca/trabajos/638/16975.pdf 1 Available Disponible también en línea. 22068
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, 2013.

Bibliografía: p. 83.

En el proceso de desarrollo de software, se pretende obtener un programa ejecutable a partir de una especificación, que en el caso más general puede estar dada en un lenguaje impreciso y ambiguo.
Un enfoque para realizar esta tarea complicada consiste en tener un lenguaje formal para especificar problemas y luego aplicar reglas de transformación de expresiones que preserven la semántica, hasta obtener un programa.
En la carrera de computación de FaMAF se enseña un método de derivación formal de programas. En este trabajo nos proponemos definir formalmente un lenguaje de especificación y derivación. Éste contendrá un lenguaje de programación funcional para el cual definiremos un sistema de tipos y probaremos buenas propiedades. Definiremos semántica y analizaremos los pasos a seguir para probar que el método de transformación de expresiones es correcto. Finalmente comentaremos la implementación de un entorno para derivar programas funcionales desarrollado en Haskell.

Disponible en línea.

La biblioteca posee 1 ej.

Click on an image to view it in the image viewer

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



//