From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: ANNOUNCE: SPARK toolset 6.1 now available
Date: Sat, 13 Jul 2002 14:15:56 GMT
Date: 2002-07-13T14:15:56+00:00 [thread overview]
Message-ID: <wccwurzzpb7.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: x7vd6tr4ulf.fsf@pushface.org
Simon Wright <simon@pushface.org> writes:
> I would be _very_ surprised if SPARKada allowed T'Class
> (uncertainty being something you don't want in safety-related
> software).
If you have the entire program source code (which you should in a
safety-critical context), then I don't see why a dispatching call is any
more "uncertain" than a case statement.
- Bob
next prev parent reply other threads:[~2002-07-13 14:15 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-07-11 7:57 ANNOUNCE: SPARK toolset 6.1 now available Rod Chapman
2002-07-11 14:04 ` Ted Dennison
2002-07-12 8:52 ` Rod Chapman
2002-07-12 20:14 ` Randy Brukardt
2002-07-13 13:37 ` Simon Wright
2002-07-13 14:15 ` Robert A Duff [this message]
2002-07-13 18:11 ` Simon Wright
2002-07-13 20:15 ` Rod Chapman
2002-07-14 0:27 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox