Un compilador correcto verificado de mini-ml a la máquina SECD en Coq

Detalles Bibliográficos
Autor principal:	Zúñiga Chávez, Ángel Francisco
Otras Contribuciones:	Hernández Quiroz, Francisco (Asesor), Miranda Perea, Favio Ezequiel (Asesor)
Formato:	Tesis de maestría
Publicado:	MX 2016
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000744277 http://132.248.9.195/ptd2016/mayo/0744277/Index.html

Ejemplares similares