1976
9 references published this year.
Completeness and incompleteness theorems for Hoare-like axiom systems
Edmund M. Clarke Jr (1976)
New directions in cryptography
Whitfield Diffie et al. (1976) · IEEE Transactions on Information Theory
A Discipline of Programming
Edsger W. Dijkstra (1976)
The work of Kurt Gödel
Stephen Cole Kleene (1976) · Journal of Symbolic Logic
A Complexity Measure
Thomas J. McCabe (1976) · IEEE Transactions on Software Engineering
Ethernet: Distributed Packet Switching for Local Computer Networks
Robert M. Metcalfe et al. (1976) · Communications of the ACM
An axiomatic proof technique for parallel programs I
Susan Owicki et al. (1976) · Acta Informatica
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki et al. (1976) · Communications of the ACM
Semantical considerations on Floyd-Hoare logic
Vaughan R. Pratt (1976) · 17th Annual Symposium on Foundations of Computer Science