CS 421: Programming Languages and Compilers
Hand-Written Assignment 10 (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.

Files
hw10.pdf
hw10-sol.pdf