ANNOTATED ADA

Domain	Definition
Computing	ANNotated Ada (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). Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Anagrams: ANNOTATED ADA

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-a-a-a-d-d-e-n-n-o-t-t"
	-3 letters: annotated.
	-4 letters: annotate.
	-5 letters: andante, annatto, donated, notated, tannate.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.