ANNOTATED ADA
\ɐn nˈə͡ʊte͡ɪtɪd ˈe͡ɪdə], \ɐn nˈəʊteɪtɪd ˈeɪdə], \ɐ_n n_ˈəʊ_t_eɪ_t_ɪ_d ˈeɪ_d_ə]\
Sort: Oldest first
-
(Anna) A specification languagedeveloped at Stanford University ca. 1980 for formallyspecifying Ada programs. It has a Specification Analyzerand a Consistency Checking System. It adds semanticassertions in the form of Ada comments. (ftp://anna.stanford.edu/pub/anna/).["ANNA - A Language for Annotating Ada Programs", DavidLuckham et al, Springer 1987].
By Denis Howe
