Equality-Based Translation Validator for LLVM.

Michael Stepp Ross Tate Sorin Lerner

Published in: CAV (2011)

Keyphrases

machine translation
cross language information retrieval
machine learning
cross language
information systems
multiscale
multi agent systems
mobile robot
information extraction
query translation
statistical machine translation
machine translation system