* ANNA - A Language for Annotating Ada Programs
@ 2009-02-14 23:19 Hibou57 (Yannick Duchêne)
2009-02-15 14:21 ` Marc A. Criley
0 siblings, 1 reply; 4+ messages in thread
From: Hibou57 (Yannick Duchêne) @ 2009-02-14 23:19 UTC (permalink / raw)
Hi all,
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).
Is it still alive ? Do someone know about ? Is it a kind of SPARK
competitor ?
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: ANNA - A Language for Annotating Ada Programs
2009-02-14 23:19 ANNA - A Language for Annotating Ada Programs Hibou57 (Yannick Duchêne)
@ 2009-02-15 14:21 ` Marc A. Criley
2009-02-15 18:41 ` Hibou57 (Yannick Duchêne)
0 siblings, 1 reply; 4+ messages in thread
From: Marc A. Criley @ 2009-02-15 14:21 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: ANNA - A Language for Annotating Ada Programs
2009-02-15 14:21 ` Marc A. Criley
@ 2009-02-15 18:41 ` Hibou57 (Yannick Duchêne)
2009-02-15 21:40 ` Hibou57 (Yannick Duchêne)
0 siblings, 1 reply; 4+ messages in thread
From: Hibou57 (Yannick Duchêne) @ 2009-02-15 18:41 UTC (permalink / raw)
Marc A. Criley a écrit :
> It is quite old. I first encountered it at an Ada conference in 1984.
Like I was suspected so
> 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
I know the acm portal, more and more, beceause when I'em searching on
the web for some material (computation, linguistic, ergonomy, etc), I
oftently come into this site which is named portal.acm.org, but always
face a wall, beceause I cannot read anything.
I've just tried to register to the restricted service a few minute
ago, but after I finished the registering process, and attempt to
login, it tells me there is an error. Or perhaps I'm wrong with the
login : I use the e-mail adresse as the login name... is it what I
have to do ?
By the way, this portal.acm.org seems really interesting (will think
about buying a real account when I will have enough money to do that)
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: ANNA - A Language for Annotating Ada Programs
2009-02-15 18:41 ` Hibou57 (Yannick Duchêne)
@ 2009-02-15 21:40 ` Hibou57 (Yannick Duchêne)
0 siblings, 0 replies; 4+ messages in thread
From: Hibou57 (Yannick Duchêne) @ 2009-02-15 21:40 UTC (permalink / raw)
Solved about the login to acm.org : I've recieve a mail which contains
a user name
Will look at the link you gave me.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2009-02-15 21:40 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-02-14 23:19 ANNA - A Language for Annotating Ada Programs Hibou57 (Yannick Duchêne)
2009-02-15 14:21 ` Marc A. Criley
2009-02-15 18:41 ` Hibou57 (Yannick Duchêne)
2009-02-15 21:40 ` Hibou57 (Yannick Duchêne)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox