He was not merely a chip of the old block, but the old block itself.
|--Edmund Burke, On Pitt’s First Speech|
The sequence of execution of a program is controlled by statements, which are executed for their effect and do not have values.
Some statements contain other statements as part of their structure; such other statements are substatements of the statement. We say that statement
S immediately contains statement
U if there is no statement
T different from
U such that
U. In the same manner, some statements contain expressions (§15) as part of their structure.
The first section of this chapter discusses the distinction between normal and abrupt completion of statements (§14.1