Mechanized Semantics for Compiler Verification.

Published in: APLAS (2012)

Keyphrases

formal semantics
model checking
programming language
logic programming

software systems
formal verification
data sets
general purpose

default reasoning
face verification
formal methods

verification method
argumentation semantics
java bytecode