Compiler verification, as of late, is a `hot topic' in computer science research.

68

Compiler verification, as of late, is as of late a `hot topic'.

68

69

This rapidly growing field is motivated by one simple question: `to what extent can you trust your compiler?'

70

Existing verification efforts have broadly focussed on \emph{semantic correctness}, that is, creating a compiler that is guaranteed to preserve the semantics of a program during the compilation process.

71

However, there is another important facet of correctness that has not garnered much attention, that is, correctness with respect