CS 421: Programming Languages and Compilers main  ::  policy  ::  lectures  ::  mps  ::  exams  ::  unit project  ::  resources  ::  faq

Written Assignment 7 (HW7) The purpose of this HW is to test your understanding of natural (big-step) semantics structural operational (small-step) semantics

Files - hw7.pdf - solution