1977
8 references published this year.
A Survey of Modern Algebra
Garrett Birkhoff and others (1977) · Macmillan
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Patrick Cousot and others (1977) · 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
DATAPAC: A Canadian packet switching network
S. B. Erskine (1977) · Canadian Electrical Engineering Journal · Institute of Electrical and Electronics Engineers
Hardware description languages: voices from the Tower of Babel
G. Jack Lipovski (1977) · Computer
A necessary and sufficient condition for the existence of Hoare logics
Richard J. Lipton (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) · IEEE
The ARPA Network Design Decisions
John M. McQuillan and others (1977) · Computer Networks · North-Holland Publishing Company
Microelectronics
Robert N. Noyce (1977) · Scientific American · Scientific American
The temporal logic of programs
Amir Pnueli (1977) · 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)