C Semantics in K Framework

[Derek M Jones <derek AT knosof.co.uk>]

John,

> > > volatile int v1 = 0, v2 = 0;
> > > v1 + v2;
> >
> > Subtraction is more of a problem if they both map to the same input
> > device.
>
> I don't see the problem with subtraction and the same input device, can
> you explain?

If the successive characters on the input port that both v1 and v2
happen to map to are '1' and '2' then the result of the subtraction
will depend on which of the two operands is evaluated (ie reads from
the input port) first.

--
Derek M. Jones                         tel: +44 (0) 1252 520 667
Knowledge Software Ltd                 
mailto:derek AT knosof.co.uk
Source code analysis                   http://www.knosof.co.uk