INFERRING LISP PROCRAMS FROM EXAMPLES

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 1975, Pages 260-267

  Shaw, David E ^a   Swartout, William R ^a   Green, C Cordell ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUXILIARY FUNCTIONS; INPUT-OUTPUT; SYNTHESISED; USER SESSIONS;

ARTIFICIAL INTELLIGENCE;

EID: 84976845530     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Biermann, A W, and Feldman, J A. "On the Synthesis of Finite-State Machines from Samples of Their Behavior," IEEE Transactions on Computers, Vol C-21, No 6, June 1972, pp b92-597. (also "On the Synthesis of Finite-State Acceptors," Memo AIM-114. Artificial Intelligence Laboratory, Computer Science Department, Stanford University, Stanford. California, April 1970).
2. Blum, L., and Blum, M, "Inductive Inference A Recursion Theoretic Approach", Information and Control, to appear (Also Memorandum ERL M386, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, California, August 1973).
3. Feldman, Jerome A., Cips, J, Horning, J. J., Reder, S., "Grammatical Complexity and Inference," Memo AIM-89, Technical Report No. CS 125, Artificial Intelligence Laboratory, Computer Science Department, Stanford University, Stanford, California, June 1969
4. Green, C C, Waldmger, R J., Barstow, D. R, Elschlager, R., Lenat, D B, McCune. B P. Shaw. D E., and Steinberg, L. I, "Progress Report on Program-Understanding Systems," Memo AIM-240, Report STAN-CS-74-444, Artificial Intelligence Laboratory, Computer Science Department, Stanford University, Stanford, California, August 1974.
5. Hardy, Steven. "Automatic Induction of LISP Functions," AISB Summer Conference, University of Sussex, Brighton, England, July 1974, pp 50-62
6. Horning. James Jay. "A Study of Grammatical Inference." Ph.D. thesis. Memo AIM-98, Report STAN-CS-69-139. Artificial Intelligence Labotatory, Computer Science Department, Stanford University, Stanford, California, August 1969
7. Licklidei, J C R., in "Automatic Composition of Functions from Modules. Project MAC Progress Report X July 1972 - July 1973, Section III E l. Project MAC, Massachusetts Institute of Technology. Cambridge, Massachusetts, pp 151-156