alphard

from The Free On-line Dictionary of Computing (8 July 2008)

Alphard

   <language> (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)