John C. Reynolds – Communications of the ACM

Research and Advances May 1 1979

A variety of concepts, laws, and notations are presented which facilitate reasoning about arrays. The basic concepts include intervals and their partitions, functional…

Author Archives

Research and Advances May 1 1970

G/EDANKEN—a simple typeless language based on the principle of completeness and the reference concept

GEDANKEN is an experimental programming language with the following characteristics. (1) Any value which is permitted in some context of the language is permissible in…

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