The Cornell Program Synthesizer: A Syntax-Directed Programming Environment (1981)

by T Teitelbaum, T Reps
Venue:Communications of the ACM