Lecture preparation

Before lecture, read the paper assigned below, and submit two items to the submission website:

Also keep in mind that you will need to write a paper summary for your choice of papers throughout the semester.


Read The PlusCal Algorithm Language by Leslie Lamport.

Answer this question

What are the labels in PlusCal for? What goes wrong if you have too few labels? If you have too many?