The Cornell program synthesizer
- 1 September 1981
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 24 (9) , 563-573
- https://doi.org/10.1145/358746.358755
Abstract
Programs are not text; they are hierarchical compositions of computational structures and should be edited, executed, and debugged in an environment that consistently acknowledges and reinforces this viewpoint. The Cornell Program Synthesizer demands a structural perspective at all stages of program development. Its separate features are unified by a common foundation: a grammar for the programming language. Its full-screen derivation-tree editor and syntax-directed diagnostic interpreter combine to make the Synthesizer a powerful and responsive interactive programming tool.Keywords
This publication has 6 references indexed in Scilit:
- Incremental evaluation for attribute grammars with application to syntax-directed editorsPublished by Association for Computing Machinery (ACM) ,1981
- A program development toolPublished by Association for Computing Machinery (ACM) ,1981
- BASICACM SIGPLAN Notices, 1978
- The design and implementation of a table driven, interactive diagnostic programming systemCommunications of the ACM, 1976
- A Fortran language anticipation and prompting systemPublished by Association for Computing Machinery (ACM) ,1973
- A research center for augmenting human intellectPublished by Association for Computing Machinery (ACM) ,1968