May 1979 - Vol. 22 No. 5

May 1979 issue cover image

Features

Opinion

ACM forum

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…

Recent Issues

  1. June 2024 Vol. 67 No. 6
  2. May 2024 CACM cover
    May 2024 Vol. 67 No. 5
  3. April 2024 CACM cover with text
    April 2024 Vol. 67 No. 4
  4. March 2024 CACM cover
    March 2024 Vol. 67 No. 3