1976
11 references published this year.
Completeness and incompleteness theorems for Hoare-like axiom systems
Edmund M. Clarke Jr (1976) · Cornell University
New directions in cryptography
Whitfield Diffie and others (1976) · IEEE Transactions on Information Theory · IEEE
A Discipline of Programming
Edsger W. Dijkstra (1976) · Prentice-Hall
Design and code inspections to reduce errors in program development
M. E. Fagan (1976) · IBM Systems Journal · IBM
Invention of the integrated circuit
Jack S. Kilby (1976) · IEEE Transactions on Electron Devices · IEEE
The work of Kurt Gödel
Stephen Cole Kleene (1976) · The Journal of Symbolic Logic
A Complexity Measure
Thomas J. McCabe (1976) · IEEE Transactions on Software Engineering · IEEE Computer Society
Ethernet: Distributed Packet Switching for Local Computer Networks
Robert M. Metcalfe and others (1976) · Communications of the ACM
An axiomatic proof technique for parallel programs I
Susan Owicki and others (1976) · Acta Informatica · Springer
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki and others (1976) · Communications of the ACM · Association for Computing Machinery (ACM)
Semantical considerations on Floyd-Hoare logic
Vaughan R. Pratt (1976) · 17th Annual Symposium on Foundations of Computer Science · IEEE