Translation and Run-Time Validation of Optimized Code.

Lenore D. Zuck Amir Pnueli Yi Fang Benjamin Goldberg Ying Hu

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

Keyphrases

source code
cross language information retrieval
query translation
machine translation
programs written
data sets
e learning
decision trees