From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Idea: Array Boundary Checks on Write Access Only
Date: 1998/06/20
Date: 1998-06-20T00:00:00+00:00 [thread overview]
Message-ID: <dewar.898364494@merv> (raw)
In-Reply-To: 35858FBC.4E5E@praxis-cs.co.uk
It seems odd to have *any* runtime checks that can raise exceptions in
safety critical progams. Such programs are not supposed to have errors
that could write arrays out of bounds, and the certification and validation
process should be able to prove the absence of such errors.
next prev parent reply other threads:[~1998-06-20 0:00 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-06-15 0:00 Idea: Array Boundary Checks on Write Access Only Markus Kuhn
1998-06-15 0:00 ` Peter Amey
1998-06-20 0:00 ` Robert Dewar [this message]
1998-06-21 0:00 ` Markus Kuhn
[not found] ` <dewar.898490510@merv>
1998-07-09 0:00 ` Frank Klemm
1998-06-17 0:00 ` Stephen Leake
1998-06-17 0:00 ` Markus Kuhn
1998-06-17 0:00 ` Robert A Duff
1998-06-18 0:00 ` Anonymous
1998-06-18 0:00 ` Stuart Palin
[not found] ` <6m8v02$r2l$1@xenon.inbe.net>
1998-06-18 0:00 ` Markus Kuhn
1998-06-18 0:00 ` Lieven Marchand
1998-06-20 0:00 ` Robert I. Eachus
1998-06-18 0:00 ` dennison
1998-06-18 0:00 ` dennison
1998-06-20 0:00 ` Robert Dewar
1998-06-18 0:00 ` Stuart Palin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox