The Inference of Regular LISP Programs from Examples

IEEE Transactions on Systems, Man and Cybernetics

Volumn 8, Issue 8, 1978, Pages 585-600

  Biermann, Alan W ^a  

^a DUKE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EID: 0018005312     PISSN: 00189472     EISSN: 21682909     Source Type: Journal    
DOI: 10.1109/TSMC.1978.4310035     Document Type: Article

References (15)

1. [1] A. W. Biermann, “Regular LISP programs and their automatic synthesis from examples, ” Dep. Computer Science, Duke Univ., Durham, NC, Rep. CS-1976-12, June 1976.
2. “Automatic indexing in program synthesis processes, ” Dep. Computer Science, Duke Univ., Durham, NC, Rep. CS-1976-4, June 1975.
3. “Approaches to automatic programming in Advances in Computers, vol. 15, M. Rubinoff and M. Yovits, Eds. New York: Academic, 1976, pp. 1–63.
4. A. W. Biermann, R. I. Baum, and F. E. Petry, “Speeding up the synthesis of programs from traces, ” IEEE Trans. Comput., vol. C-24, no. 2, pp. 122–136, 1975.
5. A. W. Biermann and R. Krishnaswamy, “Constructing programs from example computations, ” IEEE Trans. Software Eng., vol. SE-2, Sept. 1976.
6. L. Blum and M. Blum, “Toward a mathematical theory of inductive inference, ” Inform. Contr., vol. 28, pp. 125–155, 1975.
7. J. A. Feldman, “Some decidability results on grammatical inference and complexity, ” Inform. Contr., vol. 20, no. 3, pp. 244–262, 1972.
8. M. Gold, “Language identification in the limit, ” Inform. Contr., vol. 10, no. 5, pp. 447–474, 1967.
9. C. C. Green et al., “Progress report on program understanding systems, ” Stanford Artificial Intelligence Laboratory, Stanford, CA, Memo AIM-240, 1974.
10. S. Hardy, “Synthesis of LISP functions from examples, ” in Advance Papers 4th Int. Joint Conf Artificial Intelligence, Tbilisi, Georgia, USSR, Sept. 1975, pp. 240–245.
11. J. McCarthy, P. W. Abrahms, D. J. Edwards, T. P. Hart, and M. I. Levin, LISP 1.5 Programmer's Manual. Cambridge, MA: M.I.T., 1962.
12. D. Shaw, W. Swartout, and C. Green, “Inferring LISP programs from examples, ” in Advance Papers 4th Int. Joint Conf Artificial Intelligence, Tbilisi, Georgia, USSR, Sept. 1975, pp. 260–267.
13. L. Siklóssy and D. A. Sykes, “Automatic program synthesis from example problems, ” in Advance Papers 4th Int. Joint Conf. Artificial Intelligence, Tbilisi, Georgia, USSR, Sept. 1975, pp. 268–273.
14. P. D. Summers, “Program construction from examples, ” Ph.D. dissertation, Yale Univ., New Haven, CT, 1975.
15. “A methodology for LISP program construction from examples, ” J. Ass. Comput. Mach., vol. 24, pp. 161-175, 1977.