[SystemSafety] Accuracy of COVID modeling code

Martyn Thomas martyn at thomas-associates.co.uk
Sat May 9 18:06:08 CEST 2020


I haven't seen a language specification that rules out any form of
optimisation that involves rearranging code or using mathematically
equivalent operations. Please post a link to the sections of those that
you have seen that make that clear.

Martyn

On 09/05/2020 14:51, Derek M Jones wrote:
> All the language specifications I am familiar with are very clear,
> implement what the code says.  In your example, it's always do the
> multiples, and then
> the subtracts. 



More information about the systemsafety mailing list