Eunho Yang, Aurelie C. Lozano, et al.
ICML 2014
An automatic programming system, THESYS, for constructing recursive LISP programs from examples of what they do is described. The construction methodology is illustrated as a series of transformations from the set of examples to a program satisfying the examples. The transformations consist of (1) deriving the specific computation associated with a specific example, (2) deriving control flow predicates, and (3) deriving an equivalent program specification in the form of recurrence relations. Equivalence between certain recurrence relations and various program schemata is proved. A detailed description of the construction of four programs is presented to illustrate the application of the methodology. © 1977, ACM. All rights reserved.
Eunho Yang, Aurelie C. Lozano, et al.
ICML 2014
Jayadeva, Sameena Shah, et al.
Swarm Intelligence
Kazuaki Ishizaki, Takeshi Ogasawara, et al.
VEE 2012
Zhikun Yuen, Paula Branco, et al.
DSAA 2023