From: Manuel Collado <m.collado@lml.ls.fi.upm.es>
Subject: Re: Where is "Anna" -- an old Ada language extenstion
Date: Fri, 11 May 2007 19:43:46 +0200
Date: 2007-05-11T19:43:46+02:00 [thread overview]
Message-ID: <4644aba3$1@news.upm.es> (raw)
In-Reply-To: <Pine.LNX.4.64.0705111029090.31686@th.informatik.uni-mannheim.de>
Stefan Lucks escribi�:
> 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...
Have you attempted to follow the given links?
> ... Can anybody tell me where I could
> find Anna? I would like to explore the tools and to compare them with
> SPARK.
It seems that the files are still there:
ftp://pavg.stanford.edu/pub/anna/read.me
ftp://pavg.stanford.edu/pub/anna/
...
Regards.
--
Manuel Collado - http://lml.ls.fi.upm.es/~mcollado
next prev parent reply other threads:[~2007-05-11 17:43 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-05-11 8:35 Where is "Anna" -- an old Ada language extenstion Stefan Lucks
2007-05-11 9:00 ` Lutz Donnerhacke
2007-05-11 17:43 ` Manuel Collado [this message]
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