This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.
An input program function is represented using a Control Flow Graph (CFG). It's composed of different Statements, which decompose into Expressions, but we will not concern ourselves with Expressions. The main control flow constructs are SplitStatement and MergeStatement. The SplitStatement has outgoing edges to N (N = 2 in the case of IfStatement) other Statements, and the MergeStatement has…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.