Sign in

Formalizing the LLVM intermediate representation for verified program transformations.

Jianzhou ZhaoSantosh NagarakatteMilo M. K. MartinSteve Zdancewic
Published in: POPL (2012)
Keyphrases
  • intermediate representation
  • intermediate level
  • intermediate representations
  • knowledge base
  • high level
  • databases
  • low level
  • object models