CLHS: Section 3.2.2

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.

3.2.2.1 Compiler Macros

3.2.2.2 Minimal Compilation

3.2.2.3 Semantic Constraints

The following X3J13 cleanup issue, not part of the specification, applies to this section:

DEFINE-COMPILER-MACRO:X3J13-NOV89