The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
The design and implementation of a table driven, interactive diagnostic programming system
Communications of the ACM
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS
The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS
Dost: an environment to support automatic generation of user interfaces
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ACM SIGPLAN Notices
Production trees: a compact representation of parsed programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Incremental Scanning and Parsing with Galaxy
IEEE Transactions on Software Engineering
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mechanisms for generic process support
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
An approach to support automatic generation of user interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
A greedy concurrent approach to incremental code generation
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A multi-language syntax-directed editor
CSC '87 Proceedings of the 15th annual conference on Computer Science
On designing a language for exclusive use in a syntax directed programming environment
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Interactive Editing Systems: Part II
ACM Computing Surveys (CSUR)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
TRIAD: beyond isolated systems for development-in-the-large and programming-in-the-small
ACM SIGSOFT Software Engineering Notes
Tree transformation techniques and experiences
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A knowledge base for supporting an intelligent program editor
ICSE '84 Proceedings of the 7th international conference on Software engineering
The role of debugging within software engineering environments
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
A real-time microprocessor debugging technique
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
High-level debugging assistance via optimizing compiler technology (Extended Abstract)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Computer-Aided Software Engineering in a distributed workstation environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
VEEP A VEctor Editor and Preparer
DAC '82 Proceedings of the 19th Design Automation Conference
Perspectives on programming environments
CSC-83 Proceedings of the 1983 computer science conference
Defining the ergonomic buzzwords
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
ACM SIGPLAN Notices
The token-oriented approach to program editing
ACM SIGPLAN Notices
High-level debugging assistance via optimizing compiler technology
SIGSOFT '83 Proceedings of the symposium on High-level debugging
Generation of visual language-oriented design environments
Journal of Visual Languages and Computing
Journal of Systems and Software
| Hi-index | 0.00 |
The Cornell Program Synthesizer is a syntax-directed programming environment that has been used in introductory programming courses since June, 1979. We present our experience with the Synthesizer by introducing its main features, by presenting our basic principles of design, and by discussing important design decisions.