Proving Correctness of a Compiler Using Step-indexed Logical Relations
Under a Creative Commons license
open access
Keywords
Compiler verification
proof assistants
biorthogonality
step-indexed logical relations
Cited by (0)
© 2016 The Author(s). Published by Elsevier B.V.