Compilación Certificada sobre Máquinas Abstractas de evaluación normal

Mostrar todas las versiones(2)

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 compilador basada en la semántica denotacional del lenguaje, utilizando técnic...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Rodríguez, Leonardo Matías
Otros Autores: Fridlender, Daniel Edgardo
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2018
Materias:
Especificación, verificación y razonamiento sobre programas
Máquinas abstractas
Acceso en línea:http://hdl.handle.net/11086/5801
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares