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
IEEE Annals of the History of Computing
Five decades of Computer-Aided Ship Design
Computer-Aided Design
Hi-index | 0.00 |
The Air Force announced today that it has a machine that can receive instruction sin English, figure out how to make whatever is wanted, and teach other machines how to make it. An Air Force general said it will enable the United States to “build a war machine that nobody would want to tackle.”