A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Hi-index | 0.02 |
The distinctive characteristic of the CORE program development environment is its ttolerant user interface. This paper describes that interface. In addition to its unusual response to incomplete and incorrect constructions entered by the user, the interface is ``mode-free'''', unusually frugal in the size of the command set, and unusually consistent in its treatment of statements, immediate statements and commands.