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…
Abstraction and verification in Alphard: defining and specifying iteration and generators
The implementation of a BASIC system in a multiprogramming environment
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