David Gries
Some ideas on data types in high-level languages
A number of issues are explored concerning the notion that a data type is a set of values together with a set of primitive operations on those values. Among these are the…
Verifying properties of parallel programs: an axiomatic approach
An axiomatic method for proving a number of properties of parallel programs is presented. Hoare has given a set of axioms for partial correctness, but they are not strong…
A critical review of recent efforts to automate the writing of translators of programming languages is presented. The formal study of syntax and its application to…
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