3.2.2 Compilation Semantics

Conceptually, compilation is a process that traverses code, performs
certain kinds of syntactic and semantic analyses using information
(such as proclamations and macro definitions) present in the
compilation environment, and produces equivalent, possibly
more efficient code.