Re: Strategies with SPARK which does not support exceptions

[Stephen Leake <stephen_leake@stephe-leake.org>]

Warren <ve3wwg@gmail.com> writes:

> So I suppose that I do agree with you, provided you 
> are rigourous in your proofs. But for run of the mill 
> stuff (that I work on), where that kind of testing is 
> not done, then exceptions are in my mind "good enough", 
> and perhaps even preferred.

In an ideal world, SPARK could handle programs with exceptions, and we'd
have both proofs and localized well-designed exception handling.

-- 
-- Stephe