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.

Bibliographic Details
Main Authors: Rodríguez, Leonardo, Pagano, Miguel, Fridlender, Daniel
Format: publishedVersion
Language:eng
Published: 2021
Subjects:
Online Access:http://hdl.handle.net/11086/22139
https://doi.org/10.1016/j.entcs.2016.06.013
Description
Summary:Fil: Rodríguez, Leonardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.