A Perspective on Automatic Programming.

David R. Barstow

Published in: IJCAI (1983)

Keyphrases

automatic programming
theorem proving
gene expression programming
genetic programming
active learning
benchmark datasets