Login / Signup
Mechanized Verification of Computing Dominators for Formalizing Compilers.
Jianzhou Zhao
Steve Zdancewic
Published in:
CPP (2012)
Keyphrases
</>
hardware and software
programming language
model checking
artificial intelligence
database
databases
machine learning
computer vision
image sequences
expert systems
software engineering
general purpose
face verification
computer architecture
formal verification
verification method