Control Flow Analysis

• Ignore Answers - no infinite branches

• Preserve interaction - essential for control flow

• Control Flow is read-back

Previous slide

Next slide

Back to first slide

View graphic version