| Hand-Written Assignment 9 (HW) |
The purpose of this HW is to test your understanding of:
- The difference between operational semantics and transition semantics.
- How to create rules for operational semantics.
- How to write rules for transition semantics.
|
|
|