Proving correctness of a compiler using step-indexed logical relations

Fil: Rodríguez, Leonardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Guardado en:

Detalles Bibliográficos
Autores principales:	Rodríguez, Leonardo, Pagano, Miguel, Fridlender, Daniel
Formato:	publishedVersion article
Lenguaje:	Inglés
Publicado:	2021
Materias:	Compiler verification Proof assistants Biorthogonality Step-indexed logical relations
Acceso en línea:	http://hdl.handle.net/11086/22139 https://doi.org/10.1016/j.entcs.2016.06.013
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Descripción
Sumario:	Fil: Rodríguez, Leonardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.

Ejemplares similares