1974
9 references published this year.
A Protocol for Packet Network Intercommunication
Vinton G. Cerf and others (1974) · IEEE Transactions on Communications · IEEE Communications Society
Specification of Internet Transmission Control Program
Cerf, Vinton and others (1974) · RFC Editor
Design of ion-implanted MOSFET's with very small physical dimensions
R. H. Dennard and others (1974) · IEEE Journal of Solid-State Circuits · IEEE
Monitors: an operating system structuring concept
C. A. R. Hoare (1974) · Communications of the ACM · Association for Computing Machinery
Verification of programs operating on structured data
Mark Steven Laventhal (1974) · Massachusetts Institute of Technology
Programming with abstract data types
Barbara Liskov and others (1974) · Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages · Association for Computing Machinery
Formal Requirements for Virtualizable Third Generation Architectures
Gerald J. Popek and others (1974) · Communications of the ACM · Association for Computing Machinery
Towards a theory of type structure
John C. Reynolds (1974) · Programming Symposium · Springer
The UNIX time-sharing system
Dennis M. Ritchie and others (1974) · Communications of the ACM · Association for Computing Machinery