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
Dopamine Acetyltransferase
- An enzyme that catalyzes the of groups from acetyl-CoA to arylamines. They have wide specificity for aromatic amines, particularly serotonin, and can also catalyze acetyl transfer between arylamines without CoA. EC 2.3.1.5.