From: Hyman Rosen <hyrosen@mail.com>
Subject: Re: [Spark] Using defered constants
Date: Wed, 16 Apr 2003 11:05:11 -0400
Date: 2003-04-16T11:05:11-04:00 [thread overview]
Message-ID: <1050505512.114638@master.nyc.kbcfp.com> (raw)
In-Reply-To: <slrnb9qn43.12t.lutz@taranis.iks-jena.de>
Lutz Donnerhacke wrote:
> It's an example. I need an access type there.
SPARK doesn't have access types, I hear. I'm told
that this is so that the correctness of the code
is easier to prove, and that code that needs access
types should be written in plain Ada.
next prev parent reply other threads:[~2003-04-16 15:05 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-04-15 13:18 [Spark] Using defered constants Lutz Donnerhacke
2003-04-16 13:01 ` Rod Chapman
2003-04-16 13:37 ` Lutz Donnerhacke
2003-04-16 15:05 ` Hyman Rosen [this message]
2003-04-16 15:15 ` Lutz Donnerhacke
2003-04-16 15:27 ` Vinzent Hoefler
2003-04-23 9:28 ` Peter Amey
2003-04-23 10:52 ` Lutz Donnerhacke
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox