Axiomatic semantics for compiler verification.

Steven Schäfer Sigurd Schneider Gert Smolka

Published in: CPP (2016)

Keyphrases

programming language
formal semantics
general purpose
model checking
logic programming
software systems
constraint language
signature verification
transformation rules
highly optimized
java bytecode