Lecture 1 (1/5) programming language design language-based isolation verification information flow control compilation validation… is it actually equivalent to the compiled program? what does it mean to be equal? read compcert