ACM

Sign In

Communications of the ACM

Home/Magazine Archive/December 1977 (Vol. 20, No. 12)

Table of Contents

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