CS 421: Programming Languages and Compilers
main
::
policy
::
lectures
::
mps
::
exams
::
unit project
::
resources
::
faq
Hand-Written Assignment 11 (HW)
The purpose of this HW is to test your understanding of:
Floyd-Hoare Logic proofs
experience answering non-programming written questions similar to those on the final
Files
-
hw11.pdf
-
hw11-sol.pdf