[SystemSafety] Accuracy of COVID modeling code

[Martyn Thomas]

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.