This lecture concludes the compiler correctness example, by first showing how the compiler can be proved correct using induction, and then how the proof can be simplified by eliminating the use of the append operator.
Course playlist: tinyurl.com/has...
Негізгі бет AFP 15 - Compiler Correctness
No video
Пікірлер: 4