VOC: A Translation Validator for Optimizing Compilers.

Lenore D. Zuck Amir Pnueli Yi Fang Benjamin Goldberg

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

hardware and software
object detection
programming language
general purpose
machine translation
query translation
cross language information retrieval
artificial intelligence
natural language processing
massively parallel
computer architecture
code generation