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

Hand-written homework 13 (HW13) HW13 will have you practice on proofs in Hoare Logic. Note that this assignment must be printed and turned in as hard copy.

Files - hw13.pdf - hw13soln.pdf (Corrected soln for question 1: hw13q1soln.pdf)