External Links

Journal: Communications of the ACM

Volume 20, Issue 12

902 -- 906A. A. Lopez, Robert Raymond, Robert Tardiff. A Survey of Computer Science Offerings In Small Liberal Arts Colleges
906 -- 913Joep L. W. Kessels. A Conceptual Framework for a Nonprocedural Programming Language
914 -- 920Larry Carter. A Case Study of a New Code Generation Technique for Compilers
921 -- 930David Gries. An Exercise in Proving Parallel Programs Correct
931 -- 935Irene Greif. A Language for Formal Problem Specification
936 -- 944Marshall D. Abrams, Siegfried Treu. A Methodology for Interactive Computer Service Measurement
945 -- 956James N. Danziger, William H. Dutton. Computers as an American Local Governments
runs on