Expressions
syntax
e ::= v | x.v
Elementary statements
s ::= v = e | x = new %t | x.m(e)
Compound statement
S ::= %e | s | S1;S2 | \! if (b) S | while (b) S
slide
:
The syntax of a simple OO language
