VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
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
.
.
["ANNA - A Language for Annotating Ada Programs", David
Luckham et al, Springer 1987].
(1994-11-01)