From: xorque <xorquewasp@googlemail.com>
Subject: Re: SPARK left/right shift.
Date: Tue, 21 Jul 2009 03:00:18 -0700 (PDT)
Date: 2009-07-21T03:00:18-07:00 [thread overview]
Message-ID: <6a8fc5de-7a2d-429c-81af-e1ac68e85b1f@t13g2000yqt.googlegroups.com> (raw)
In-Reply-To: 3642aa53-ed44-4562-9be5-ebc2cfc1c92b@a26g2000yqn.googlegroups.com
Rod Chapman wrote:
> xorque,
> If it's not a dumb question: what exactly are you trying to
> implement with SPARK? It seems rather ambitious - you've
> been pushing the boundaries a fair bit....
Currently, a UTF-8 encoder/decoder.
Quite a few questions I've posted on here have been related
to "toy" projects testing what can be done sanely with this
degree of verification in Ada. I've rarely been disappointed.
I'm not currently writing anything that could be described
as "high-integrity" but I try to use SPARK wherever possible
as I do care deeply about software quality.
next prev parent reply other threads:[~2009-07-21 10:00 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-21 9:07 SPARK left/right shift xorque
2009-07-21 9:21 ` Rod Chapman
2009-07-21 9:31 ` Rod Chapman
2009-07-21 9:38 ` xorque
2009-07-21 9:54 ` Rod Chapman
2009-07-21 10:00 ` xorque [this message]
2009-07-21 10:40 ` Georg Bauhaus
2009-07-21 10:46 ` Jean-Pierre Rosen
2009-07-21 11:33 ` xorque
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox