[comp.lang.ada] ANNA

bevan@cs.man.ac.uk (Stephen J Bevan) (02/10/91)

In the little Ada that I've seen (i.e. here in this group and a few
Ada programs that I have access to) I've never seen ANNA[1] being used.

Does anybody actually use ANNA to annotate their programs ?

Stephen J. Bevan		bevan@cs.man.ac.uk

BTW I don't use Ada, as I haven't got a compiler.  I'm waiting for GNU Ada :-)

[1]
@MANUAL{Luckham-etal87,
  TITLE = {ANNA A Language for Annotating Ada Programs},
  AUTHOR = {Luckham, David C. and von Henke, Friedreich W. and
	    Krieg-Br{\"u}ckner, Bernd and Owe, Olaf},
  YEAR = {1987},
  NOTE = {LNCS 260}
}