From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Subject: Re: pragma Pure/Preelaborate - tools, practice?
Date: Fri, 22 Jun 2001 13:52:10 +0200
Date: 2001-06-22T13:52:10+02:00 [thread overview]
Message-ID: <3B33316A.B4C7C1AA@ACM.org> (raw)
In-Reply-To: 3B325B9E.483CAF25@ftw.rsc.raytheon.com
Wes asked in news:3B325B9E.483CAF25@ftw.rsc.raytheon.com :
"Is there a tool (ASIS?) that can analyze a file
and everything it depends on (recursively) including
bodies (because whether a spec can be Pure depends
on its body) and tell whether it is potentially Pure?"
You might ask GrammaTech if their Ada-ASSURED or
Ada-UTILITIES products will be of use to you.
GrammaTech, Inc.
317 North Aurora Street
Ithaca, NY 14850
U.S.A.
(607) 273-8752 [fax]
next prev parent reply other threads:[~2001-06-22 11:52 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-06-21 20:39 pragma Pure/Preelaborate - tools, practice? Wes Groleau
2001-06-22 11:52 ` Colin Paul Gloster [this message]
2001-06-26 14:32 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox