Slides for Lecture for February 12, 2016
Author: Matt Bishop
Given at: UC Davis
Date: February 12, 2016
First slide (slide 1)
Last slide (slide 38)
PDF version
Slide 1: Lecture for February 12, 2016
Slide 2: Information Flow
Slide 3: Basics
Slide 4: Entropy and Information Flow
Slide 5: Example 1
Slide 6: Example 2
Slide 7: Implicit Flow of Information
Slide 8: Notation
Slide 9: Compiler-Based Mechanisms
Slide 10: Example
Slide 11: Declarations
Slide 12: Input Parameters
Slide 13: Output Parameters
Slide 14: Example
Slide 15: Array Elements
Slide 16: Assignment Statements
Slide 17: Compound Statements
Slide 18: Conditional Statements
Slide 19: Iterative Statements
Slide 20: Goto Statements
Slide 21: Example Program
Slide 22: Flow of Control
Slide 23: IFDs
Slide 24: IFD Example
Slide 25: Requirements
Slide 26: Example of Requirements
Slide 27: Example (continued)
Slide 28: Procedure Calls
Slide 29: Exceptions
Slide 30: Exceptions (cont)
Slide 31: Infinite Loops
Slide 32: Semaphores
Slide 33: Flow Requirements
Slide 34: Example
Slide 35: Concurrent Loops
Slide 36: Loop Example
Slide 37: cobegin/coend
Slide 38: Soundness