Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!ukc!mucs!m1!bevan From: bevan@cs.man.ac.uk (Stephen J Bevan) Newsgroups: comp.lang.ada Subject: ANNA Message-ID: Date: 9 Feb 91 20:45:41 GMT Sender: news@cs.man.ac.uk Distribution: comp Organization: Department of Computer Science, University of Manchester Lines: 17 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} }