Alphard

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)