Affiliation:
1. Cornell Univ., Ithaca, NY
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.
Publisher
Association for Computing Machinery (ACM)
Reference24 articles.
1. A program development tool
2. Conway R. and Constable R. PL/CS-A disciplined subset of PL/I. Tech. Rept No. 76-293 Dept. of Comptr. Sci. Cornell 1976. Conway R. and Constable R. PL/CS-A disciplined subset of PL/I. Tech. Rept No. 76-293 Dept. of Comptr. Sci. Cornell 1976.
Cited by
382 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Total Type Error Localization and Recovery with Holes;Proceedings of the ACM on Programming Languages;2024-01-05
2. Lorgnette: Creating Malleable Code Projections;Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology;2023-10-29
3. Virtual Domain Specific Languages via Embedded Projectional Editing;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22
4. Projectional Editors for JSON-Based DSLs;2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2023-10-03
5. Gradual Structure Editing with Obligations;2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC);2023-10-03