larch/clu

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

LARCH/CLU

   <language, specification> The {Larch} specification language
   for {CLU}.  Used in "Abstraction and Specification in Program
   Development", B. Liskov & J. Guttag, MIT Press 1986.

   (1996-01-02)