Mary Shaw
Author Archives
Abstraction and verification in Alphard: defining and specifying iteration and generators
The Alphard “form” provides the programmer with a great deal of control over the implementation of abstract data types. In this paper the abstraction…
Reduction of compilation costs through language contraction
Programming languages tailored to particular groups of users can often be constructed by removing unwanted features from a general purpose language. This paper describes…
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