Browsing Artículos 2016 by Subject "Compiler verification"
Now showing items 1-1 of 1
-
Proving correctness of a compiler using step-indexed logical relations
(2016)In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...