Opinion – Page 147 – Communications of the ACM

The article [1] by Matthew Geller presents a proposed method for establishing the correctness of a class of programs. Geller's abstract reads in part, “This paper introduces a technique whereby test data can be used in proving program correctness. In addition to simplifying the process of proving correctness, this method simplifies the process of providing accurate specification for a program.” These are strong claims, not justified by the article that follows.

Apr 1 1979

ACM forum

Mar 1 1979

ACM forum

Mar 1 1979

ACM President’s Letter: the institute for certification of computer professionals: a call for ACM action

Daniel D. McCracken

Feb 1 1979

ACM President’s Letter: chapters and verses

Daniel D. McCracken

Feb 1 1979

ACM forum: Turning lecturers’ response to Soviet Translation Request

Robert L. Ashenhurst

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved

Communications of the ACM (CACM) is now a fully Open Access publication.

By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.

Learn More