Translation validation for an optimizing compiler.

George C. Necula

Published in: PLDI (2000)

Keyphrases

machine translation
programming language
query translation
computer vision
general purpose
artificial intelligence
statistical machine translation
model validation
real time
data mining
website
data structure