Title: Program Logics for Certified Compilers
Subjects: Logic programming, Compilers (computer programs), Computer software, Verification, Symbolic and mathematical Logic