Word:

ANNotated Ada

(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].
Browse
Anniversary week
Anniverse
Anno Domini
Annodated
Annominate
Annomination
Annona
Annona cherimola
Annona diversifolia
Annona glabra
Annona muricata
Annona reticulata
Annona squamosa
Annonaceae
Annonae civiles
Annotate
-- ANNotated Ada --
annotating
Annotation
Annotationist
Annotative
Annotator
Annotatory
Annotine
Annotinous
Annotto
Announce
announced
Announcement
Announcer
Annoy
Annoyance
annoybot
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy