Journal: Communications of the ACM

Volume 21, Issue 5

351 -- 357Douglas W. Clark. A Fast Algorithm for Copying List Structures
358 -- 367Anita K. Jones, Barbara Liskov. A Language Extension for Expressing Constraints on Data Access
368 -- 375Matthew M. Geller. Test Data as an Aid in Proving Program Correctness
376 -- 385James R. Low. Automatic Data Structure Selection: An Example and Overview
385 -- 391Michael Karr, David B. Loveman. Incorporation of Units into Programming Languages
392 -- 400David R. Hanson, Ralph E. Griswold. The SL5 Procedure Mechanism
401 -- 410Frederick Hayes-Roth, John P. McDermott. An Interference Matching Technique for Inducing Abstractions
411 -- 418J. M. Fleisher, R. R. Meyer. New Sufficient Optimality Conditions for Integer Programming and their Application
419 -- 422Pandu R. Tadikamalla. Computer Generation of Gamma Random Variables
423 -- 425Richard L. Sites. Optimal Shift Strategy for a Block-Transfer CCD Memory