Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
The synthesis of solids bounded by many faces
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
A generalized technique for symbol manipulation and numerical calculation
Communications of the ACM
Macro instruction extensions of compiler languages
Communications of the ACM
Toward foundations for the understanding of type
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
A personal view of the personal work station: some firsts in the fifties
A history of personal workstations
The Origin of Computer Graphics within General Motors
IEEE Annals of the History of Computing
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Hi-index | 0.01 |