annotated ada

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

ANNotated Ada
Anna

   <language, specification> (Anna) A {specification} language
   developed at {Stanford University} ca. 1980 for formally
   specifying {Ada} programs.  It has a Specification Analyzer
   and a Consistency Checking System.  It adds semantic
   {assertions} in the form of Ada {comments}.

   (ftp://anna.stanford.edu/pub/anna/).

   ["ANNA - A Language for Annotating Ada Programs", David
   Luckham et al, Springer 1987].

   (1994-11-01)