Login / Signup
Mechanized Semantics for Compiler Verification.
Xavier Leroy
Published in:
CPP (2012)
Keyphrases
</>
formal semantics
logic programming
model checking
neural network
java bytecode
highly optimized
formal verification
semantic representation
semantic information
programming language
general purpose
multi agent
conceptual graphs
data model
epistemic logic
verification method
argumentation semantics
databases