Program synthesis as a tool for teaching programming
Stuart H. Hirshfield · ACM SIGCSE Bulletin · 1984
An introductory programming course is described the content and format of which are based on the use of a program synthesizer. The synthesizer is seen as a useful and effective tool for students and teachers alike, particularly in a course with a problem-solving orientation. Common reservations about the use of such a tool in an introductory course are discussed in light of our experiences over the past two years.