Communications of the ACM

Maintaining knowledge about temporal intervals

James F. Allen
Pages 832-843

---

Matings in matrices

Wolfgang Bibel
Pages 844-852

---

Cognitive strategies and looping constructs: an empirical study

Elliot Soloway, Jeffrey Bonar, Kate Ehrlich
Pages 853-860

---

Program indentation and comprehensibility

Richard J. Miara, Joyce A. Musselman, Juan A. Navarro, Ben Shneiderman
Pages 861-867

---

An analysis and algorithm for polygon clipping

You-Dong Liang, Brian A. Barsky
Pages 868-877

---

An efficient dynamic selection method

J. T. Postmus, A. H.G. Rinnooy Kan, G. T. Timmer
Pages 878-881

---

Program design by informal English descriptions

Russell J. Abbott
Pages 882-894

---

On-the-fly optimization of data structures

J. L. W. Kessels
Pages 895-901

---

Program developments: formal explanations of implementations

David S. Wile
Pages 902-911

---

A constructive approach to the design of algorithms and their data structures

Gaston H. Gonnet, Frank W. Tompa
Pages 912-920

---

A multiple-stack manipulation procedure

James F. Korsh, Gary Laison
Pages 921-923

---

A Monte Carlo study of Cichelli hash-function solvability

R. Charles Bell, Bryan Floyd
Pages 924-925

---

Principles of computer charging in a university-type organization

Jack P. C. Kleijnen, Anton J. van Reeken
Pages 926-932

---

Information derivability analysis in logical information systems

Antoni Olivé
Pages 933-938

---

Estimating block accesses in database organizations: a closed noniterative formula

Kyu-Young Whang, Gio Wiederhold, Daniel Sagalowicz
Pages 940-944

---

On estimating block accesses in database organizations

W. S. Luk
Pages 945-947

---

Problem solving for effective systems analysis: an experimental exploration

Nicholas P. Vitalari, Gary W. Dickson
Pages 948-956

---

Simulation modeling with event graphs

Lee Schruben
Pages 957-963

---

Antithetic variates revisited

George S. Fishman, Baosheng D. Huang
Pages 964-971

---

System response time operator productivity, and job satisfaction

Raymond E. Barber, Henry C. Lucas
Pages 972-986

---

System designers' user models: a comparitive study and methodological critique

Ron Dagwell, Ron Weber
Pages 987-997

---

Stack processing techniques in delayed-staging storage hierarchies

Gabriel M. Silberman
Pages 999-1007

---

Vector Fortran for numerical problems on CRAY-1

W. P. Petersen
Pages 1008-1021

---

Extended Boolean information retrieval

Gerard Salton, Edward A. Fox, Harry Wu
Pages 1022-1036

---