Buscar
Mostrando ítems 1-3 de 3
Compilación Certificada sobre Máquinas Abstractas de evaluación normal
(2017-03)
En esta tesis se analiza cómo demostrar la corrección de compiladores de lenguajes con evaluación normal, utilizando máquinas abstractas como entornos de ejecución. En particular se presenta una prueba de corrección de un ...