Communications of the ACM

ACM president's letter: old problems and fresh solutions

Herb Grosch
Pages 900-901

---

A survey of computer science offerings in small liberal arts colleges

A. A. Lopez, Robert Raymond, Robert Tardiff
Pages 902-906

---

A conceptual framework for a nonprocedural programming language

J. L. W. Kessels
Pages 906-913

---

A case study of a new code generation technique for compilers

J. Lawrence Carter
Pages 914-920

---

An exercise in proving parallel programs correct

David Gries
Pages 921-930

---

A language for formal problem specification

Irene Greif
Pages 931-935

---

A methodology for interactive computer service measurement

Marshall D. Abrams, Siegfried Treu
Pages 936-944

---

Computers as an innovation in American local governments

James N. Danziger, William H. Dutton
Pages 945-956

---

ACM forum

Robert L. Ashenhurst
Pages 968-972

---