Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System.

David R. Barstow

Published in: AISB/GI (ECAI) (1978)

Keyphrases

automatic programming
theorem proving
gene expression programming
expert systems
machine learning
decision making
computational intelligence
genetic programming
linear combination