A notation of all the paths that can be traversed by an executing program.

Common Constructs