From: bevan@cs.man.ac.uk (Stephen J Bevan)
Subject: ANNA
Date: 9 Feb 91 20:45:41 GMT [thread overview]
Message-ID: <BEVAN.91Feb9204541@orca.cs.man.ac.uk> (raw)
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}
}
next reply other threads:[~1991-02-09 20:45 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1991-02-09 20:45 Stephen J Bevan [this message]
[not found] <3hp8ob$n36@goanna.cs.rmit.edu.au>
[not found] ` <3hqhe9$h66@watnews1.watson.ibm.com>
1995-02-28 4:48 ` Anna Richard A. O'Keefe
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox