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
  

Last update Tue Feb 14 04:16:27 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page