Anna

ANNotated Ada

about 1980

A language adding semantic assertions to Ada as formal comments. Based on first-order logic, it includes generalized type constraints, virtual checking functions, and behavior specification.

"ANNA - A Language for Annotating Ada Programs", David C. Luckham et al, Springer-Verlag, 1987.