[SystemSafety] C++ and Pointers

[Peter Bernard Ladkin]

On 2019-06-05 13:08 , paul_e.bennett at topmail.co.uk wrote:
> 
>> [PBL] ..... a readable WWW site introducing C++ ,  
>> https://www.learncpp.com
>> .........
>>
>> You need a static analyser just to tell you what your program 
>> means!
> 
> Some of the above should also point out the need to provide some form
> of in-source documentation that describes what the author intended to
> be happening within the functionality of the code.
I agree completely. For example, a programmer could include as a comment the intended code written
in AdaCore SPARK. Then hisher intent will be quite clear.

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/20190605/b9696ffd/attachment.sig>