Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
The art of computer programming, volume 3: (2nd ed.) sorting and searching
The art of computer programming, volume 3: (2nd ed.) sorting and searching
A General Translation Program for Phrase Structure Languages
Journal of the ACM (JACM)
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Techniques of Program Structure and Design
Techniques of Program Structure and Design
Introduction to Operation Systems Design
Introduction to Operation Systems Design
A Discipline of Programming
Lilith: A personal computer for the software engineer
ICSE '81 Proceedings of the 5th international conference on Software engineering
The Mesa programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
The Poe language-based editor project
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
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
GNOME: An introductory programming environment based on a family of structure editors
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
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
An interactive program verification system
Proceedings of the international conference on Reliable software
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
Creation of hierarchic text with a computer display
Creation of hierarchic text with a computer display
Generating language-based environments
Generating language-based environments
Semantics for structure editing environments
Semantics for structure editing environments
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Program Design
Hi-index | 0.00 |