论文信息 - Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments - 字舞流文

Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments

Pavol Návrat | Vladimir Vojtek | Ludovít Molnár

[1] Gerald J. Sussman,et al. A Computational Model of Skill Acquisition , 1973 .

[2] Pavol Návrat,et al. A system for automatic implementation of abstract data types , 1987 .

[3] Zohar Manna,et al. Synthesis: Dreams - Programs , 1979, IEEE Trans. Software Eng..

[4] Pavol Návrat,et al. A new algorithm for heuristic search which uses hints , 1985 .

[5] V Vojtek. Automatic program synthesis using heuristics and interaction , 1986 .