[SystemSafety] C++ and Pointers

[Peter Bernard Ladkin]

On 2019-06-06 16:03 , Derek M Jones wrote:
> 
>> They do, you know. But I grant you that the phenomenon is often obscured.
> 
> So, yes, that 90% is a made-up number.

Which suggests to me you haven't really looked at the CVE database.

> I don't have any data for problems that strong typing catches, 

Please note that I was talking about enhanced strong data typing, not what is commonly referred to
in programming-language science as "strong typing".

> The only work I know of that tries to answer the question of
> what faults might be detectable, using the concept of type, if the
> code was riddled with the appropriate annotations, is this:
> earlbarr.com/publications/typestudy.pdf
Oh, I think there are a few publications by Turing Award winners Klaus Wirth and Tony Hoare, as well
as others. It was quite a big deal, once upon a time.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





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