The C programming language
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Anatomy of LISP
Paths: an abstract alternative to pointers
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A constructive alternative to axiomatic data type definitions
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
HOPE: An experimental applicative language
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
The efficient implementation of very-high-level programming language constructs
The efficient implementation of very-high-level programming language constructs
Syntax-directed editing environments: issues and features
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Nordic Journal of Computing
Hi-index | 0.00 |
This paper investigates the use of abstract recursive data structures and operations in the implementation of a structured program editor. The value-oriented semantics of the proposed constructs simplify the implementation of important features such as version control and an unbounded undo operation. Since the constructs can be implemented efficiently, their use in the structured program editor does not significantly affect its performance.