Tags: Programming Language.
Alphard is a Pascal-like programming language for data abstraction and verification proposed and designed by William A. Wulf Ralph L. London and Mary Shaw. The language was the subject of several research publications in the late 1970s but was never implemented. Its main innovative feature was the introduction of the ‘form’ datatype which combines a specification and a procedural (executable) implementation.