May 12, 2017 Outline

Reading: Chapters from revised text, §17, C; [B+07]
Due: Project Progress Report, May 12; Homework #3, May 19

  1. Compiler-based flow mechanisms
    1. Scalar declarations
    2. Array declarations
    3. Assignment statements
    4. Compound statements
    5. Conditional statements
    6. Iterative statements
    7. Goto statements
    8. Procedure calls
    9. Exceptions and infinite loops
    10. Semaphores
    11. Cobegin/coend
    12. Soundness
  2. Execution-based flow mechanisms
    1. Fenton’s Data Mark Machine
    2. Variable classes
You can also obtain a PDF version of this. Version of May 13, 2017 at 7:48PM