From: Stefan Lucks <lucks@th.informatik.uni-mannheim.de>
Subject: Where is "Anna" -- an old Ada language extenstion
Date: Fri, 11 May 2007 10:35:36 +0200
Date: 2007-05-11T10:35:36+02:00 [thread overview]
Message-ID: <Pine.LNX.4.64.0705111029090.31686@th.informatik.uni-mannheim.de> (raw)
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! ------
next reply other threads:[~2007-05-11 8:35 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-05-11 8:35 Stefan Lucks [this message]
2007-05-11 9:00 ` Where is "Anna" -- an old Ada language extenstion Lutz Donnerhacke
2007-05-11 17:43 ` Manuel Collado
2007-05-12 20:19 ` Peter Amey
2007-05-12 21:56 ` Ed Falis
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox