Construcción de un compilador de asertos de programación metódica
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Spanish |
| Published: |
Pontificia Universidad Católica del Perú
2014
|
| Subjects: | |
| Online Access: | http://tesis.pucp.edu.pe/repositorio/handle/123456789/5724 |