Communications of the ACM (CACM), Volume 23, 1980

Volume 23, Number 1, January 1980

Reports and Articles

• 
  Paul O'Neill, Avis O'Neil:
  Performance Statistics of a Time Sharing Network at a Small University. 10-13
• 
  Lawrence J. Mazlack:
  Identifying Potential to Acquire Programming Skill. 14-17

Systems and Programming

• 
  Richard J. Cichelli:
  Minimal Perfect Hash Functions Made Simple. 17-19
• 
  Harold Abelson, Peter Andreae:
  Information Transfer and Area-Time Tradeoffs for VLSI Multiplication. 20-23

Computing Methodologies / Graphics and Image Processing

• 
  Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, James F. Blinn:
  Scan Line Methods for Displaying Parametrically Defined Surfaces. 23-34

Volume 23, Number 2, February 1980

Reports and Articles

• 
  Anthony Ralston, Mary Shaw:
  Curriculum '78 - Is Computer Science Really that Unmathematical? 67-70

Selected Papers

from the Seventh Symposium on Operating Systems Principles, Pacific Grove, California, December 10-12, 1979

• 
  M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel:
  A Virtual Machine Emulator for Performance Evaluation. 71-80
• 
  David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell:
  Pilot: An Operating System for a Personal Computer. 81-92
• 
  John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu:
  Medusa: An Experiment in Distributed Operating System Structure. 92-105
• 
  Butler W. Lampson, David D. Redell:
  Experience with Processes and Monitors in Mesa. 105-117
• 
  Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek:
  Specification and Verification of the UCLA Unix Security Kernel. 118-131

Volume 23, Number 3, March 1980

Special Section Honoring John W. Mauchly

• 
  Daniel D. McCracken:
  John W. Mauchly. Commun. ACM 23(3): 143 (1980)
• 
  Isaac L. Auerbach:
  A Tribute to John William Mauchly. Commun. ACM 23(3): 144 (1980)
• 
  J. Presper Eckert:
  Eulogy. Commun. ACM 23(3): 145-146 (1980)

Reports and Articles

• 
  Robert F. Ling:
  General Considerations on the Design of an Interactive System for Data Analysis. 147-154

Artificial Intelligence / Language Processing

• 
  Christopher W. Fraser:
  A Generalized Text Editor. 154-158

Programming Techniques

• 
  K. P. Lee:
  A Linear Algorithm for Copying Binary Trees Using Bounded Workspace. 159-162

Graphics and Image Processing

• 
  Hanan Samet:
  Region Representation: Quadtrees from Boundary Codes. 163-170
• 
  Charles R. Dyer, Azriel Rosenfeld, Hanan Samet:
  Region Representation: Boundary Codes from Quadtrees. 171-179

Volume 23, Number 4, April 1980

Reports and Articles

• 
  Charles L. Gold, Seymour E. Goodman, Benjamin G. Walker:
  Software: Recommendataions for an Export Control Policy. 199-207

Human Aspects of Computing

• 
  Ruven E. Brooks:
  Studying Programmer Behavior Experimentally: The Problems of Proper Methodology. 207-213

Programming Techniques

• 
  Jon Louis Bentley:
  Multidimensional Divide-and-Conquer. 214-229
• 
  Jean Vuillemin:
  A Unifying Look at Data Structures. 229-239

Volume 23, Number 5, May 1980

Computing Practices

• 
  Robert L. Glass:
  Real-Time: The "Lost World" Of Software Debugging and Testing. 264-271
• 
  Joshua Turner:
  The Structure Of Modular Programs. 272-277

Management Applications

• 
  Ishwar K. Sethi, Biswanath Chattkerjee:
  Conversion of Decision Tables to Efficient Sequential Testing Procedures. 279-285
• 
  Rik Maes:
  An Algorithmic Approach to the Conversion of Decision Grid Charts into Compressed Decision Tables. 286-293

Programming Techniques

• 
  Arthur Gill:
  Hierarchical Binary Search. 294-300

Volume 23, Number 6, June 1980

Computing Practices

• 
  Roger House:
  Comments on Program Specification and Testing. 324-331

Reports and Articles

• 
  Jack A. Chambers, Jerry W. Sprecher:
  Computer Assisted Instruction: Current Trends. 332-342

Graphics and Image Processing

• 
  Turner Whitted:
  An Improved Illumination Model for Shaded Display. 343-349

Technical Note: Programming Techniques

• 
  John G. Fletcher:
  A More General Algorithm for Computing Closed Semiring Costs Between Vertices of a Directed Graph. 350-351

Volume 23, Number 7, July 1980

Computing Practices

• 
  Y. Banno, Hideaki Hirose, Y. Karita, H. Mawatari, H. Murakami, H. Takahashi, S. Yashiro, H. Yoshiki, N. Hagiwara, Yoshio Sakurai:
  KEKOPEN, An Open Batch Processing System at KEK. 368-378

Reports and Articles

• 
  David Harel:
  On Folk Theorems. 379-389

Management Science / Operations Research

• 
  Russell C. H. Cheng, G. M. Feast:
  Gamma Variate Generators with Increased Shape Parameter Range. 389-394

Technical Note: Artificial Intelligence / Language Processing

• 
  Fabrizio Luccio, Linda Pagli:
  Comment on Generalized AVL Trees. Commun. ACM 23(7): 394-395 (1980)

Graphics and Image Processing

• 
  Stuart K. Card, Thomas P. Moran, Allen Newell:
  The Keystroke-Level Model for User Performance Time with Interactice Systems. 396-410

Volume 23, Number 8, August 1980

Computing Practices

• 
  J. M. Triance, J. F. S. Yow:
  MCOBOL - A Prototype Macro Facility for Cobol. 432-439
• 
  Michael T. Compton:
  Easing Fault Location in Large Systems. 440-442

1979 Turing Award Lecture

• 
  Kenneth E. Iverson:
  Notation as a Tool of Thought. 444-465

Scientific Applications

• 
  Giles Peterson, Aaron B. Budgor:
  The Computer Language Mathsy and Applications to Solid State Physics. 466-474

Self-Assessment Procedure

• 
  Maurice H. Halstead, Victor B. Schneider:
  Self-Assessment Procedure VII: A Self-Assessment Precedure Dealing with Software Science. Commun. ACM 23(8): 475-480 (1980)

Volume 23, Number 9, September 1980

Computing Practices

• 
  Dennis E. Hall, Deborah K. Scherrer, Joseph S. Sventek:
  A Virtual Operating System. 495-502

Computer Architecture and Systems

• 
  Hitohisa Asai:
  An Overrelaxation for Numerical Inverse of a Constant. 503-510
• 
  B. Kumar, Edward S. Davidson:
  Computer System Design Using a Hierarchical Approach to Performance Evaluation. 511-521

Programming and Data Structures

• 
  John L. Pfaltz, William J. Berman, Edgar M. Cagley:
  Partial-Match Retrieval Using Indexed Descriptor Files. 522-528

Volume 23, Number 10, October 1980

Computing Practices

• 
  Donald R. Chand, Surya B. Yadav:
  Logical Construction of Software. 546-555

Human Aspects of Computing

• 
  Henry F. Ledgard, John A. Whiteside, Andrew Singer, William Seymour:
  The Natural Language of Interactive Systems. 556-563

Selected Papers from the Performance '80 Syposium, Toronto, May 28-30, 1980

• 
  Yonathan Bard:
  A Model of Shared DASD and Multipathing. 564-572
• 
  K. Mani Chandy, Charles H. Sauer:
  Computational Algorithms for Product Form Queueing Networks. 573-583
• 
  Dominique Potier, Ph. Leblanc:
  Analysis of Locking Policies in Database Management Systems. 584-593

Volume 23, Number 11, November 1980

Computing Practices

• 
  Curtis R. Cook, Do Jin Kim:
  Best Sorting Algorithm for Nearly Sorted Lists. 620-624

Technical Note: Graphics and Image Processing

• 
  Michael L. V. Pitteway, D. J. Watkinson:
  Bresnham's Algorithm with Grey Scale. 625-626

Technical Note: Operating Systems

• 
  Daniel S. Hirschberg, James B. Sinclair:
  Decentralized Extrema-Finding in Circular Configurations of Processors. 627-628

Computer Architecture and Systems

• 
  Guy L. Steele Jr., Gerald J. Sussman:
  Design of a LISP-Based Microprocessor. 628-645

Systems Modeling and Performance Evaluation

• 
  Micha Hofri:
  Disk Scheduling: FCFS vs. SSTF Revisited. 645-653

Volume 23, Number 12, December 1980

Computing Practices

• 
  James L. Peterson:
  Computer Programs for Detecting and Correcting Spelling Errors. 676-687

Artificial Intelligence and Language Processing

• 
  Patrick H. Winston:
  Learning and Reasoning by Analogy. 689-703

Programming Techniques and Data Structures

• 
  Hanan Samet:
  Deletion in Two-Dimensional Quad Trees. 703-710

Computer Architecture and Systems

• 
  John F. Shoch, Jon A. Hupp:
  Measured Performance of an Ethernet Local Network. 711-721