* ANNA @ 1991-02-09 20:45 Stephen J Bevan 0 siblings, 0 replies; 2+ messages in thread From: Stephen J Bevan @ 1991-02-09 20:45 UTC (permalink / 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} } ^ permalink raw reply [flat|nested] 2+ messages in thread
[parent not found: <3hp8ob$n36@goanna.cs.rmit.edu.au>]
[parent not found: <3hqhe9$h66@watnews1.watson.ibm.com>]
* Re: Anna [not found] ` <3hqhe9$h66@watnews1.watson.ibm.com> @ 1995-02-28 4:48 ` Richard A. O'Keefe 0 siblings, 0 replies; 2+ messages in thread From: Richard A. O'Keefe @ 1995-02-28 4:48 UTC (permalink / raw) I asked: Has anything been written about how one ought to go about annotating O-O Ada? ncohen@watson.ibm.com (Norman H. Cohen) writes: >Yes, a book called _Object-Oriented_Software_Construction_, by Bertrand >Meyer. For some reason ;-), all the examples are in Eiffel rather than >Ada 95, but the basic approach carries over. I already have that book, and a set of Eiffel manuals. For that and other reasons, the reply somewhat misses the point. I am well aware of the idea of representation invariants and method invariants inheriting from parents, and I am aware of how that is expressed in Eiffel. The question is: HOW IS THAT TO BE SAID IN ANNA? Is there, for example, a new Anna-95 notation all worked out, or is there perhaps a (relatively) widely understood way of expressing the same idea using existing Anna? -- "The complex-type shall be a simple-type." ISO 10206:1991 (Extended Pascal) Richard A. O'Keefe; http://www.cs.rmit.edu.au/~ok; RMIT Comp.Sci. ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1995-02-28 4:48 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 1991-02-09 20:45 ANNA Stephen J Bevan [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
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox