Comparison to Related Works (3)

• Our approach compared to [Matsuoka and Yonezawa]...
  • Operation and state transition in one place.
  • Small number of language constructs:: simpler.
  • State matching can be very efficient.
• Also approaches substitution anomaly.