Abstract | ||
---|---|---|
A program is described which infers certain recursive LISP programs from single example input-output pairs Synthesized programs may recur in more than one argument, and may involve the synthesis of auxiliary functions An actual user session with the program, called EXAMPLE, is presented, and the operation of the program and its important heuristics are outlined. |
Year | DOI | Venue |
---|---|---|
1975 | 10.7916/D89K4K6X | IJCAI |
Keywords | Field | DocType |
input output,computer science | Programming language,Computer science,Lisp,Theoretical computer science,Auxiliary function,Preprocessor,Heuristics,Fexpr,Recursion | Conference |
Citations | PageRank | References |
17 | 23.76 | 1 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
David Elliot Shaw | 1 | 890 | 139.33 |
William R. Swartout | 2 | 1710 | 695.25 |
Cordell Green | 3 | 431 | 677.34 |