Programming Language Implementation Ka-Ping Yee (pingzestyca)

CS264 Alex Aiken

Course home page, lectures.

HOMEWORK

• Assignment 1: problem, solution
• Assignment 2: problem, solution
• Assignment 3: problem, solution
• Assignment 4: problem, solution

PROJECT

• Auditors: an Extensible, Dynamic Code Verification Mechanism

OTHER NOTES

• Some ideas on better notation: diagrams from lecture 9.