Proving Correctness of a Compiler Using Step-indexed Logical Relations.

Leonardo Rodríguez Miguel Pagano Daniel Fridlender

Published in: LSFA (2015)

Keyphrases

logical structure
programming language
post processing
information retrieval
semantic relations
preprocessing step
logical properties
database
databases
information systems
co occurrence
rough sets
multi step