Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Conversational programming systems
Journal of Pascal, Ada & Modula-2
ACM SIGPLAN Notices
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Practical program verification: automatic program proving for real-time embedded software
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming language design issues
Proceedings of the DoD Sponsored Workshop on Design and Implementation of Programming Languages
A graphics-based programming-support system
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
A small contribution to editing with a syntax directed editor
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Graphical program development with PECAN program development systems
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Viewing a programming environment as a single tool
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Interactive structure-oriented computing
Interactive structure-oriented computing
Structured programming
Hi-index | 0.00 |