Program derivation in PowerEpsilon.

M.-Y. Zhu C.-W. Wang

Published in: COMPSAC (1992)

Keyphrases

automatic programming
program execution
database
databases
information retrieval
artificial intelligence
information systems
reinforcement learning
static analysis
programming environment
control program
program understanding