Alphard(Named after the brightest star in Hydra) A {Pascal}-like language developed by Wulf, Shaw and London of {CMU} in 1974. Alphard supports {data abstraction} using the 'form', which combines a specification and an implementation. ["Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators", Mary Shaw, CACM 20(8):553-563, Aug 1977]. (1995-05-10)