default search action
ACM Computing Surveys, Volume 4
Volume 4, Number 1, March 1972
- Peter J. Denning:
A Note on Paging Drum Efficiency. 1-3 - Peter Wegner:
The Vienna Definition Language. 5-63
Volume 4, Number 2, June 1972
- W. R. Schucany, Paul D. Minton, B. Stanley Shannon Jr.:
A Survey of Statistical Packages. 65-79 - Jürg Nievergelt, J. C. Farrar:
What Machines Can and Cannot Do. 81-96 - Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman:
An Assessment of Techniques for Proving Program Correctness. 97-147
Volume 4, Number 3, September 1972
- Leon Presser, John R. White:
Linkers and Loaders. 149-167 - C. A. R. Hoare, Donald C. S. Allison:
Incomputability. 169-178 - Richard C. Holt:
Some Deadlock Properties of Computer Systems. 179-196
Volume 4, Number 4, December 1972
- Byron W. Stutzman:
Data Communication Control Procedures. 197-220 - Bruce H. Barnes:
A Programmer's View of Automata. 221-239 - Theodore C. Willoughby:
Staffing the MIS function. 241-259
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.