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

Homework 12 (HW12) HW12 gives you practice filling out proof trees for Hoare Logic. It is due in class on Tuesday, May 4. There is no extension.

Files - hw12.pdf - hw12soln.pdf -  (Corrected soln for question 1: hw12q1soln.pdf )