Program Translation via Abstraction and Reimplementation.

Richard C. Waters

Published in: IEEE Trans. Software Eng. (1988)

Keyphrases

machine translation
high level
hardware designs
data sets
neural network
program execution
decision theoretic planning
database
databases
information retrieval
website
decision trees
multi agent systems
query translation
static analysis
programming environment