Outline for May 12, 2006

Reading: text, §16.3.2.5—16.4.1

1. Greetings and felicitations!
2. Compiler-based flow mechanisms
   1. Goto statements
   2. Procedure calls
   3. Exceptions and infinite loops
   4. Semaphores
   5. Cobegin/coend
   6. Soundness
3. Execution-based flow mechanisms
   1. Fenton's Data Mark Machine
   2. Variable classes