Construcción de un compilador de asertos de programación metódica
Abstract
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.
Temas
Compiladores (Programas para computadoras)
Algoritmos
Informática
Algoritmos
Informática
Para optar el título de
Ingeniero Informático