From: "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>
Subject: ANNA - A Language for Annotating Ada Programs
Date: Sat, 14 Feb 2009 15:19:52 -0800 (PST)
Date: 2009-02-14T15:19:52-08:00 [thread overview]
Message-ID: <27d3ec11-51b5-41cc-bdcd-74f6f8baae9e@n33g2000pri.googlegroups.com> (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 ?
next reply other threads:[~2009-02-14 23:19 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-02-14 23:19 Hibou57 (Yannick Duchêne) [this message]
2009-02-15 14:21 ` ANNA - A Language for Annotating Ada Programs Marc A. Criley
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