next up previous contents
Next: Expressions Up: An introduction to the Previous: Types, QualifiedTypes, and DataTypes   Contents


The body in a procedure is defined as a set of Statements. The collection of Statements includes some high-level constructs whose semantics may be useful for high-level transformations. Various dismantlers can be applied to reduce these statements down to a small core set so that passes that do not need the high-level semantics can be simply written.

David Heine