Software engineering with Ada
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Abstraction and specification in program development
Abstraction and specification in program development
A mechanism for specifying the structure of large, layered systems
Research directions in object-oriented programming
Introduction to Pascal and structured design
Introduction to Pascal and structured design
Data structures with abstract data types and Pascal: 2nd edition
Data structures with abstract data types and Pascal: 2nd edition
A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Grids: A new program structuring mechanism based on layered graphs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Paragon: Novel uses of type hierarchies for data abstraction
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
| Hi-index | 0.00 |