e :: = v | x.v
s :: = v = e | x = new τ | x.m(e)
S :: = ε | s | S1;S2 | if (b) S | while (b) S
slide
:
The syntax of a simple OO language