Journal: Communications of the ACM

Volume 20, Issue 9

625 -- 633Michael O. Rabin. Complexity of Computations
634 -- 641Dana S. Scott. Logic and Programming Languages
642 -- 645Richard H. Austing. The GRE Advanced Test in Computer Science
647 -- 654Robert Scheifler. An Analysis of Inline Substitution for a Structured Programming Language
655 -- 663David K. Gifford. Hardware Estimation of Process Primary Memory Requirements
664 -- 669Harry G. Mairson. Some New Upper Bounds on the Generation of Prime Numbers
670 -- 674Edward M. McCreight. Pagination of B*-Trees with Variable-Length Records

Volume 20, Issue 8

539 -- 0James J. Horning. Selected Papers from the ACM Conference on Language Design for Reliable Software - Introduction
540 -- 553Charles M. Geschke, James H. Morris Jr., Edwin H. Satterthwaite. Early Experience with Mesa
553 -- 564Mary Shaw, William A. Wulf, Ralph L. London. Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators
564 -- 576Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert. Abstraction Mechanisms in CLU
577 -- 583Niklaus Wirth. Toward a Discipline of Real-Time Programming
584 -- 595John D. Gannon. An Experimental Evaluation of Data Type Conventions
596 -- 602William R. Franta, Kurt Maly. An Efficient Data Structure for the Simulation Event Set
602 -- 0Orrin E. Taulbee, Samuel D. Conte. Corrigendum: Production and Employment of Ph.D. s in Computer Science - 1976
603 -- 604Eugene L. Lawler. Comment on Computing the k Shortest Paths in a Graph
604 -- 605Nissim Francez. Another Advantage of Keyword Notation for Parameter Communication with Subprograms

Volume 20, Issue 7

461 -- 468Sandra A. Mamrak. Dynamic Response Time Prediction for Computer Networks
469 -- 477Manfred Ruschitzka, Robert S. Fabry. A Unifying Approach to Scheduling
477 -- 485William D. Tajibnapis. A Correctness Proof of a Topology Information Maintenance Protocol for a Distributed Computer Network
486 -- 494Paul G. Heckel, Butler W. Lampson. A Terminal-Oriented Communication System
500 -- 503Joep L. W. Kessels. An Alternative to Event Queues for Synchronization in Monitors
504 -- 513Dorothy E. Denning, Peter J. Denning. Certification of Programs for Secure Information Flow
513 -- 518Jeffrey M. Barth. Shifting Garbage Collection Overhead to Compile Time
519 -- 526Edward A. Ashcroft, William W. Wadge. Lucid, a Nonprocedural Language with Iteration
527 -- 529Nevil Brownlee. An Algol-Based Implementation of SNOBOL4 Patterns

Volume 20, Issue 6

370 -- 372Orrin E. Taulbee, Samuel D. Conte. Production and Employment of Ph.D. s in Computer Science - 1976
373 -- 381Ben Shneiderman, Richard E. Mayer, Don McKay, Peter Heller. Experimental Investigations of the Utility of Detailed Flowcharts in Programming
382 -- 384Henry F. Ledgard, Robert W. Taylor. Two Views of Data Abstraction - Introduction to the Special Section
385 -- 396Moshé M. Zloof, S. Peter de Jong. The System for Business Automation (SBA): Programming Language
396 -- 404John V. Guttag. Abstract Data Type and the Development of Data Structures
405 -- 413John Miles Smith, Diane C. P. Smith. Database Abstractions: Aggregation
414 -- 420David Gries, Narain H. Gehani. Some Ideas on Data Types in High-Level Languages
421 -- 431James L. Peterson, Theodore A. Norman. Buddy Systems
431 -- 433J. M. Robson. A Bounded Storage Algorithm for Copying Cyclic Structures
434 -- 439Richard S. Bird. Notes on Recursion Elimination
439 -- 441Henry S. Warren Jr.. Functions Realizable with Word-Parallel Logical and Two s-Complement Addition Instructions

Volume 20, Issue 5

301 -- 309Richard C. Holt, David B. Wortman, David T. Barnard, James R. Cordy. SP/k: A System for Teaching Computer Programming
310 -- 315George S. Fishman. Achieving Specific Accuracy in Simulation Output Analysis
315 -- 322Howard L. Morgan, K. Dan Levin. Optimal Program and Data Locations in Computer Networks
322 -- 330Jean-Loup Baer, B. Schwab. A Comparison of Tree-Balancing Algorithms
331 -- 339Neil J. Stillman, P. Bruce Berra. A Comparison of Hardware and Software Associative Memories in the Context of Computer Graphics
339 -- 343Marvin B. Shapiro. The Choice of Reference Points in Best-Match File Searching
344 -- 347Michael Z. Hanani. An Optimal Evaluation of Boolean Expressions in an Online Query System
347 -- 350Y. Milman. An Approach to Optimal Design of Storage Parameters in Databases
350 -- 353James W. Hunt, Thomas G. Szymanski. A Fast Algorithm for Computing Longest Subsequences

Volume 20, Issue 4

209 -- 222James H. Morris Jr., Ben Wegbreit. Subgoal Induction
223 -- 229Steven L. Tanimoto, Theodosios Pavlidis. The Editing of Picture Segmentations Using Local Analysis of Graphs
230 -- 245Nicholas V. Findler. Studies in Machine Cognition Using the Game of Poker
245 -- 254K. Maruyama, S. E. Smith. Analysis of Design Alternatives for Virtual Memory Indexes
254 -- 259Henry C. Lucas Jr., Jimmy A. Sutton. The Stage Hypothesis and the S-Curve: Some Contradictory Evidence
260 -- 261S. Bing Yao. Approximating the Number of Accesses in Database Organizations
261 -- 262Clifford R. Hollander. Remark on Uniform Insertion in Structured Data Structures
262 -- 263S. K. Bandyopadhyay. Comment on Weighted Increment Linear Search for Scatter Tables
263 -- 271Clark D. Thompson, H. T. Kung. Sorting on a Mesh-Connected Parallel Computer
271 -- 283Lawrence Robinson, Karl N. Levitt. Proof Techniques for Hierarchically Structured Programs

Volume 20, Issue 3

127 -- 135Philip Clapson. Improving the Access Time for Random Access Files
135 -- 142Clement T. Yu, Gerard Salton. Effective Information Retrieval Using Term Accuracy
143 -- 153Åmund Lunde. Empirical Evaluation of Some Features of Instruction Set Processor Architectures
153 -- 165R. M. Brown, James C. Browne, K. Mani Chandy. Memory Management and Response Time
166 -- 171Warren Burton. Representation of Many-Sided Polygons and Polygonal Lines for Rapid Processing
171 -- 176Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman. Operations on Sparse Relations
177 -- 185Richard L. Nolan. Effects of Chargeout on User/Manager Attitudes
185 -- 191Israel Borovits, Phillip Ein-Dor. Cost/Utilization: A Measure of System Performance
191 -- 192Carter Bays. A Comparison of Next-fit, First-fit, and Best-fit
192 -- 194Eberhard Bertsch. The Storage Requirement in Precedence Parsing

Volume 20, Issue 2

63 -- 77Mervin E. Muller. An Approach to Multidimensional Data Array Processing by Computer
78 -- 87Douglas W. Clark, C. Cordell Green. An Empirical Study of List Structure in Lisp
87 -- 93Franco P. Preparata, S. J. Hong. Convex Hulls of Finite Sets of Poin ts in Two and Three Dimensions
93 -- 99Malcolm C. Easton, B. T. Bennett. Transient-Free Working-Set Statistics
100 -- 106Jack Bresenham. A Linear Algorithm for Incremental Digital Display of Circular Arcs
107 -- 112Thoddi C. T. Kotiah, David I. Steinberg. Occurrences of Cycling and Other Phenomena Arising in a Class of Linear Programming Models
113 -- 115Gary D. Knott. A Numbering System for Binary Trees

Volume 20, Issue 12

902 -- 906A. A. Lopez, Robert Raymond, Robert Tardiff. A Survey of Computer Science Offerings In Small Liberal Arts Colleges
906 -- 913Joep L. W. Kessels. A Conceptual Framework for a Nonprocedural Programming Language
914 -- 920Larry Carter. A Case Study of a New Code Generation Technique for Compilers
921 -- 930David Gries. An Exercise in Proving Parallel Programs Correct
931 -- 935Irene Greif. A Language for Formal Problem Specification
936 -- 944Marshall D. Abrams, Siegfried Treu. A Methodology for Interactive Computer Service Measurement
945 -- 956James N. Danziger, William H. Dutton. Computers as an American Local Governments

Volume 20, Issue 11

788 -- 794John A. N. Lee. Considerations for Future Programming Language Standards Activities
795 -- 798Rollins Turner, William D. Strecker. Use of the LRU Stack Depth Distribution for Simulation of Paging Behavior
799 -- 805Franklin C. Crow. The Aliasing Problem in Computer-Generated Shaded Images
806 -- 811Leslie Lamport. Concurrent Reading and Writing
812 -- 820John E. Shore. Anomalous Behaviour of the Fifty-Percent Rule in Dynamic Memory Allocation
820 -- 822George C. Stockman, Ashok K. Agrawala. Equivalence of Hough Curve Detection to Template Matching
822 -- 823Niklaus Wirth. What Can We Do about the Unnecessary Diversity of Notation for Syntactic Definitions?
823 -- 0Mohit Kumar Roy. A Note On Refection-Free Permutation Enumeration
824 -- 831Zohar Manna, Adi Shamir. The Optimal Approach to Recursive Programs
832 -- 840Michael Hammer, W. Gerry Howe, Vincent J. Kruskal, Irving Wladawsky. A Very High Level Programming Language for Data Processing Applications
841 -- 850Renzo Sprugnoli. Perfect Hashing Functions: A Single Probe Retrieving Method for Static Sets
850 -- 856John Cocke, Ken Kennedy. An Algorithm for Reduction of Operator Strength
856 -- 863Richard S. Bird. Improving Programs by the Introduction of Recursion
864 -- 873Norman R. Nielsen. Dynamic Memory Allocation in Computer Simulation
874 -- 878Mike W. Blasgen, Richard G. Casey, Kapali P. Eswaran. An Encoding Method for Multifield Sorting and Indexing
878 -- 882Enrique Grapa, Geneva G. Belford. Some Theorems to Aid in Solving the File Allocation Problem

Volume 20, Issue 10

693 -- 702Henry Fuchs, Zvi M. Kedem, Samuel P. Uselton. Optimal Surface Reconstruction from Planar Contours
703 -- 712Sheng-Chuan Wu, John F. Abel, Donald P. Greenberg. An Interactive Computer Graphics Approach to Surface Representation
712 -- 724Barry K. Rosen. High-Level Data Flow Analysis
725 -- 730Carlo Montangero, Giuliano Pacini, Franco Turini. Two-Level Control Structure for Nondeterministic Programming
731 -- 741Wilf R. LaLonde. Regular Right Part Grammars and Their Parsers
741 -- 745Raymond R. Devillers. Game Interpretation of the Deadlock Avoidance Problem
746 -- 753Evan L. Ivie. The Programmer's Workbench - A Machine for Software Development
754 -- 761Alan Jay Smith. Multiprocessor Memory Organization and Memory Interference
762 -- 772Robert S. Boyer, J. Strother Moore. A Fast String Searching Algorithm

Volume 20, Issue 1

2 -- 12Allen Van Gelder. Structured Programming in Cobol: An Approach for Application Programmers
13 -- 21Richard H. Austing, Bruce H. Barnes, Gerald L. Engel. A Survey of the Literature in Computer Science Education Since Curriculum 68
22 -- 31Jair M. Babad. A Record and File Partitioning Model
31 -- 35Albert L. Zobrist, Frederick R. Carlson Jr.. Detection of Combined Occurrences
36 -- 44Alan P. Batson, Robert E. Brundage. Segment Sizes and Lifetimes in Algol 60 Programs