"Equality-Based Translation Validator for LLVM."

Michael Stepp, Ross Tate, Sorin Lerner (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics