The Cornell program synthesizerTim Teitelbaum, Thomas Reps|Communications of the ACM|1981Cited by 708
Incremental Context-Dependent Analysis for Language-Based EditorsThomas Reps, Alan Demers|ACM Transactions on Programming Languages and Systems|1983Cited by 258