An Automatic Programming System SPACE with Highly Visualized and Abstract Program Specification.

Minoru Harada Takashi Yoshimizu

Published in: IEICE Trans. Inf. Syst. (1995)

Keyphrases

automatic programming
control program
gene expression programming
theorem proving
high level
search space
training data
control system