Sign in
Formalizing the LLVM intermediate representation for verified program transformations.
Jianzhou Zhao
Santosh Nagarakatte
Milo M. K. Martin
Steve Zdancewic
Published in:
POPL (2012)
Keyphrases
</>
intermediate representation
intermediate level
intermediate representations
knowledge base
high level
databases
low level
object models