1974
36 references published this year.
The Design and Analysis of Computer Algorithms
A. V. Aho and others (1974) · Addison-Wesley
The Semantics of PASCAL in LCF
Luigia Carlucci Aiello and others (1974)
Special issue on hardware description languages
Unattributed (1974)
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
Vinton Cerf and others (1974) · RFC Editor
Macromodular computer systems
W. A. Clark and others (1974) · Computers in Biomedical Research, chapter 3
Human cortical magnification factor and its relation to visual acuity
Alan Cowey and others (1974) · Experimental Brain Research · Springer Science+Business Media
Design of ion-implanted MOSFET's with very small physical dimensions
R. H. Dennard and others (1974) · IEEE Journal of Solid-State Circuits · IEEE
First version of a data flow procedure language
Jack B. Dennis (1974) · Springer Berlin Heidelberg
Distributed Computer Systems
Shane Dickey (1974)
Mathematical semantics as a complementary definition for axiomatically defined programming language constructs
J. Donahue (1974) · Computer Systems Research Group, University of Toronto
Green's Functions for Solid State Physicists
S. Doniach and others (1974) · Benjamin
Capability concept mechanism and structure in System 250
D.M. England (1974) · Proceedings of the International Workshop on Protection in Operating Systems
Capability-based addressing
Robert S. Fabry (1974) · Communications of the ACM · Association for Computing Machinery
Generalized first-order spectra and polynomial-time recognizable sets
Ronald Fagin (1974) · Complexity of Computation, SIAM-AMS Proceedings 7
Survey of virtual machine research
Robert P. Goldberg (1974) · Institute of Electrical and Electronics Engineers (IEEE)
Consistent and complementary formal theories of the semantics of programming languages
C. A. R. Hoare and others (1974) · Acta Informatica · Springer Science+Business Media
Monitors: an operating system structuring concept
C. A. R. Hoare (1974) · Communications of the ACM · Association for Computing Machinery
The Semantics of a Simple Language for Parallel Programming
Gilles Kahn (1974) · IFIP Congress
On the Most Recent Property of ALGOL-Like Programs
P. Kandzia (1974) · Springer Berlin Heidelberg
Towards a Theory of Universal Speed-Independent Modules
Robert Keller (1974) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
Review of the elements of 2-categories
G. M. Kelly and others (1974) · Springer Berlin Heidelberg
Logic Design: A Review of Theory and Practice
G. G. Langdon (1974) · Academic Press
On procedures as open subroutines. II
H. Langmaack (1974) · Springer Science and Business Media LLC
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
Axiomatic approach to total correctness of programs
Z. Manna and others (1974) · Acta Inf. 3 (1974)
Finiteness is mu-ineffable
D. Park (1974) · University of Warwick
Uniform rates of convergence for Markov chain transition probabilities
J. W. Pitman (1974) · Springer Science and Business Media LLC
Formal Requirements for Virtualizable Third Generation Architectures
Gerald J. Popek and others (1974) · Communications of the ACM · Association for Computing Machinery
A formalization of the propositional calculus of H-B logic
Cecylia M. Rauszer (1974) · Studia Logica · Springer Science+Business Media
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
Protection and the control of information sharing in multics
Jerome Howard Saltzer (1974) · Communications of the ACM · Association for Computing Machinery
Competitive and optimal responses to signals: An analysis of efficiency and distribution
M. Spence (1974) · Elsevier BV
HYDRA: the kernel of a multiprocessor operating system
W. Wulf and others (1974) · Communications of the ACM · Association for Computing Machinery (ACM)