anna
NounUS[an-uh]/ˈænə/2 syllables
Open English WordNet
Noun (1)annas
- a former copper coin of Pakistan and IndiaType of Pakistani monetary unit, Indian monetary unit
Word of the day · Oct 31About this word
nebulousadjective
What does it mean? Question 1 of today’s quiz
Webster's Dictionary (1913)
An′na (…), noun
Origin: Hindi ānā.
An East Indian money of account, the sixteenth of a rupee, or about 2… cents.
Webster’s Revised Unabridged Dictionary (1913), from GCIDE 0.54
Free On-line Dictionary of Computing
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)