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. During the language design process, we were concerned simultaneously with problems of methodology, correctness, and efficiency. Methodological concerns are addressed through facilities for defining new, task·specific abstractions that capture complex ...