A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expression in Scheme. The introduction offers a brief history of the language and of the report. The first three chapters present the fundamental ideas of the language and describe the notational conventions used for describing the language and for writing programs in the language. Chapters section 4. Expressions and section 5.
Program structure describe the syntax and semantics of expressions, programs, and definitions.
Chapter section 6. Chapter section 7. Formal syntax and semantics provides a formal syntax for Scheme written in extended BNF, along with a formal denotational semantics. An example of the use of the language follows the formal syntax and semantics. The appendix describes a macro facility that may be used to extend the syntax of Scheme.