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.
[1] 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.
It also took the generator from IPL-V,[2] as well as the mapping functions from Lisp[3] and made it general case.
This programming-language-related article is a stub.