From: "Marc A. Criley" <mcNOSPAM@mckae.com>
Subject: Re: ANNA - A Language for Annotating Ada Programs
Date: Sun, 15 Feb 2009 08:21:23 -0600
Date: 2009-02-15T08:21:23-06:00 [thread overview]
Message-ID: <14340$499824e4$4a33606c$25820@API-DIGITAL.COM> (raw)
In-Reply-To: <27d3ec11-51b5-41cc-bdcd-74f6f8baae9e@n33g2000pri.googlegroups.com>
Hibou57 (Yannick Duch�ne) wrote:
> I've just learned about ANNA, � ANNA - A Language for Annotating Ada
> Programs �, but did not find online reference about it (may be its too
> old).
It is quite old. I first encountered it at an Ada conference in 1984.
> Is it still alive ? Do someone know about ? Is it a kind of SPARK
> competitor ?
There's not much on the web, but if you have access to the "ACM Portal"
library you can see what's available there with this query long query,
will likely wrap):
http://portal.acm.org/results.cfm?query=PrimarySubject%3A"ANNA"&querydisp=PrimarySubject%2FNoun%3A"ANNA"&termshow=matchboolean&coll=GUIDE&dl=GUIDE
Marc A. Criley
McKae Technologies
www.mckae.com
next prev parent reply other threads:[~2009-02-15 14:21 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-02-14 23:19 ANNA - A Language for Annotating Ada Programs Hibou57 (Yannick Duchêne)
2009-02-15 14:21 ` Marc A. Criley [this message]
2009-02-15 18:41 ` Hibou57 (Yannick Duchêne)
2009-02-15 21:40 ` Hibou57 (Yannick Duchêne)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox