Webster's Online Dictionary
with Multilingual Thesaurus Translation

 
   English     All Languages     Choose Language   
Earth's largest dictionary with more than 1226 modern languages and Eve!
 Login

Specialty Expressions: ANNotated Ada

ExpressionsDomainDefinition
ANNotated AdaComputingANNotated 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.

Top
Are you referring to: Annotated, AN Notated, AN-Notated, Annotates, Annotate.

www Search: ANNotated Ada

Source: search results based on google engine.
 

Amazon Book Search: ANNotated Ada

Source: search results based on Amazon.com
 

Web Search Results: ANNotated Ada
Google
  Web www.websters-online-dictionary.org