Alphard: Form and Content

Alphard is a design for a programming system that supports the abstraction and verification techniques required by modern program'ming methodology. an abstraction, specifying its behavior Alphard language constructs allow a programmer to isolate publicly while localizing knowledge about its implementation.