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
Word of the day
basidiomycota
- comprises fungi bearing the spores on basidium: Gasteromycetes (puffballs); Tiliomycetes (comprising orders Ustilaginales (smuts) and Uredinales (rusts)); Hymenomycetes (mushrooms; toadstools; agarics; bracket fungi); in some classification systems considered a division of kingdom comprises fungi bearing spores on a basidium; includes Gasteromycetes (puffballs) Tiliomycetes comprising the orders Ustilaginales (smuts) and Uredinales (rusts) Hymenomycetes (mushrooms, toadstools, agarics bracket fungi).