Program Logics for Certified Compilers
by Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy
No description available.
Logic programmingCompilers (computer programs)Computer softwareVerificationSymbolic and mathematical Logic