The Cornell program synthesizer: a syntax-directed programming environment
Citations
1,231 citations
Cites background from "The Cornell program synthesizer: a ..."
...This connection enables general-purpose, light-weight, and efficient logic truth maintenance systems (LTMSs)[15] to propagate constraints as users select features so that inconsistent product specifications are avoided — much like syntax-directed editors guarantee compilable programs [26]....
[...]
1,186 citations
901 citations
Cites background from "The Cornell program synthesizer: a ..."
...CORNELL PROGRAM SYNTHESIZER: CORNELL UNIVERSITY, 1981 [Reps and Teitelbaum 1989; Teitelbaum and Reps 1981]....
[...]
...CORNELL PROGRAM SYNTHESIZER:CORNELL UNIVERSITY, 1981 [Reps and Teitelbaum 1989; Teitelbaum and Reps 1981]....
[...]
[...]
403 citations
Cites methods from "The Cornell program synthesizer: a ..."
...For example, adding a menu-driven mode of input, in the style of the Cornell Program Synthesizer [ 25 ], is the matter of one or two pages of code....
[...]
387 citations
References
1,140 citations
1,062 citations
664 citations
473 citations
258 citations