[SystemSafety] A small taste of what we're up against

[Martyn Thomas]

Yes, people make mistakes and inspections and testing find too few of
them. That's why you need languages with semantics for which tools can
be written that detect many such mistakes.

For example, if your tools can tell you "this program can generate a
value for that array index that will be out of bounds", you have the
opportunity to eliminate the error before it kills someone.

Martyn


On 24/10/2018 12:11, Derek M Jones wrote:
> I practice most developers don't read the language standard
> and most coding mistakes are unrelated to developer knowledge
> of language semantics, e.g., they are oversights, off
> by one errors or cut-and-paste slip-ups.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20181024/a68f326b/attachment.sig>