ANNotated Ada

Also found in: Acronyms

0.04 sec.

(language, specification)

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].

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Email
Feedback

? Mentioned in

anna

Encyclopedia browser

? Full browser

Annensky, Innokenty Feodorovich
annexation
Annfwn
Annigoni
annihilation
Anniston
annotate
ANNotated Ada
annotation
annoybot
annoyware
annual
Annual Change Traffic
annual rings
annuity

Encyclopedia

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.