annotated ada

Computing Dictionary

ANNotated Ada definition

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)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: annotated
Next Definition: annotated bibliography
Words Near: annotated ada
More from Thesaurus.com
Synonyms and Antonyms for annotated ada
More from Reference.com
Search for articles containing annotated ada
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature