Reasoning About Arrays

John C. Reynolds. Reasoning About Arrays. Communications of the ACM, 22(5):290-299, 1979.

Abstract

Abstract is missing.