Siempre ha existido la necesidad de validar la codificación de un programa.
Este proyecto tiene como objetivo la implementación de un compilador que,
mediante notaciones matemáticas que especifican un programa, genere las
instrucciones de manera automática. El resultado tiene como principal
característica que es formalmente correcto. Esto se da debido a que el
compilador implementa una metodología llamada derivación de programas la
cual garantiza esa característica. La implementación de esta metodología se
da mediante la estructura formal de un compilador y la inclusión de un
autómata adaptativo capaz de aplicar las reglas de programación metódica.
El proyecto tiene como alcance el no aplicar ninguna regla que implique
resolver un problema de complejidad np. Debido a esto la expresividad del
lenguaje y su capacidad de generación automática se encuentra limitada. El
resultado es un compilador capaz de generar código de manera automática
en base a las especificaciones que el compilador es capaz de compilar. Este
proyecto es la base de los compiladores de programación automática. / Tesis
Identifer | oai:union.ndltd.org:PUCP/oai:tesis.pucp.edu.pe:123456789/5724 |
Date | 12 November 2014 |
Creators | Berolatti Gonzales, Diego |
Contributors | Zapata Del Rio, Claudia María del Pilar |
Publisher | Pontificia Universidad Católica del Perú |
Source Sets | Pontificia Universidad Católica del Perú |
Language | Spanish |
Detected Language | Spanish |
Type | info:eu-repo/semantics/bachelorThesis |
Format | application/pdf |
Source | Pontificia Universidad Católica del Perú, Repositorio de Tesis - PUCP |
Rights | Atribución-NoComercial-SinDerivadas 2.5 Perú, info:eu-repo/semantics/openAccess, http://creativecommons.org/licenses/by-nc-nd/2.5/pe/ |
Page generated in 0.0011 seconds