[SystemSafety] OpenSSL Bug
Derek M Jones
derek at knosof.co.uk
Wed Apr 16 12:24:15 CEST 2014
David,
> Le 14/04/2014 23:59, Derek M Jones a écrit :
>>> Suppose technical methods T are known to avoid, definitively, mistakes
>>> of type X,
>>
>> more empirical evidence,
>
> No. As Peter said, the method T *definitely* avoids the mistake, by
> construction.
Both you and Peter and concentrating on the faults strong typing
prevents happening and skipping over the fact that it sometimes
causes faults to be created (e.g., through the contortions that
sometimes have to be gone through to interface two libraries
making use of very strong typing in very different, and structurally
incompatible, ways).
--
Derek M. Jones tel: +44 (0) 1252 520 667
Knowledge Software Ltd blog:shape-of-code.coding-guidelines.com
Software analysis http://www.knosof.co.uk
More information about the systemsafety
mailing list