Assignment
rules
<< v = e, %f^{%a} >> -> << %e, %f [ %a.v := e_{%f} ] >>
Object creation
\ffrac{
<< S_{%t}, %f^{%a} >> \apijl{%l} << %e, %f' >>
}{
<< x \! = \! new %t, %f >> \! \apijl{ %a \. %l } \! << %e , %f'[ x \! := %a \! ]>>
}
Method call
\ffrac{
<< S_m(e), %f^{%a} >> \apijl{%l} << %e, %f' >>
}{
<< x.m(e), %f >> \apijl{ m_{%a} \. %l } << %e, %f' >>
}
slide
:
Transition system -- rules
