researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal
Journal: Communications of the ACM
Home
Index
Info
Issue
Volume
21
, Issue
5
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