From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,f7e8ad90820a834d,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!proxad.net!213.200.89.82.MISMATCH!tiscali!newsfeed1.ip.tiscali.net!news.tiscali.de!news.belwue.de!th!lucks From: Stefan Lucks Newsgroups: comp.lang.ada Subject: Where is "Anna" -- an old Ada language extenstion Date: Fri, 11 May 2007 10:35:36 +0200 Organization: InterNetNews at News.BelWue.DE (Stuttgart, Germany) Message-ID: NNTP-Posting-Host: th.informatik.uni-mannheim.de Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: news.BelWue.DE 1178872539 5772 134.155.91.85 (11 May 2007 08:35:39 GMT) X-Complaints-To: news@news.belwue.de NNTP-Posting-Date: Fri, 11 May 2007 08:35:39 +0000 (UTC) Xref: g2news1.google.com comp.lang.ada:15750 Date: 2007-05-11T10:35:36+02:00 List-Id: Hi all, Anna is an old language extension of Ada (Ada 83, as I believe) to include facilities for formally specifying the intended behavior of Ada programs. As understand, Anna is bit like today's SPARK. See http://pavg.stanford.edu/previous_research/index.html Unfortunately, I cannot find her on the Web -- both documents and software seem to have disappeared. Can anybody tell me where I could find Anna? I would like to explore the tools and to compare them with SPARK. Thank you -- Stefan Lucks Th. Informatik, Univ. Mannheim, 68131 Mannheim, Germany e-mail: lucks@th.informatik.uni-mannheim.de home: http://th.informatik.uni-mannheim.de/people/lucks/ ------ I love the taste of Cryptanalysis in the morning! ------