[SystemSafety] Accuracy of COVID modeling code

Peter Bernard Ladkin ladkin at causalis.com
Sat May 9 19:21:04 CEST 2020



On 2020-05-09 18:41 , Derek M Jones wrote:
> 
> Section 5.1.2.3 of the C Standard,
> 
> or sentence 189: https://c0x.coding-guidelines.com/5.1.2.3.html
> "In the abstract machine, all expressions are evaluated as specified by the semantics."
Which should mean that the expression "x^2 - y^2" returns the square of the value of x minus the
square of the value of y. What is called the exact value.

What a poor piece of writing.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
Styelfy Bleibgsnd
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/pipermail/systemsafety/attachments/20200509/75e8e8b8/attachment-0001.sig>


More information about the systemsafety mailing list