Program synthesis by analogy
暂无分享,去创建一个
[1] Steve Hardy,et al. Synthesis Of LISP Functions From Examples , 1975, IJCAI.
[2] Zohar Manna,et al. The automatic synthesis of recursive programs , 1977, SIGART Newsl..
[3] Gregory R. Ruth. Intelligent Program Analysis , 1976, Artif. Intell..
[4] Zohar Manna,et al. The evolution of programs: a system for automatic program modification , 1977, POPL '77.
[5] Gerald J. Sussman,et al. A Computational Model of Skill Acquisition , 1973 .
[6] David R. Barstow,et al. Some Rules For The Automatic Synthesis Of Programs , 1975, IJCAI.
[7] Zohar Manna,et al. Knowledge and Reasoning in Program Synthesis , 1974, IJCAI.
[8] Ira P. Goldstein. Summary of MYCROFT: A System for Understanding Simple Picture Programs , 1975, Artif. Intell..
[9] J. Geiser. Commenting Proofs , 1975, IJCAI.
[10] Rob Kling,et al. A Paradigm for Reasoning by Analogy , 1971, IJCAI.