Communications of the ACM - researchr journal

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

External Links