The Cornell program synthesizer: a syntax-directed programming environment
Programs are not text; they are hierarchical compositions of computational structures and should be edited, executed, and debugged in an environment that consistently…