


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














