Includes bibliographical references (pages 509-516) and index
Tools for symbolic programming -- Induction, recursion, and scope -- Syntactic abstraction and data abstraction -- Reduction rules and imperative programming -- Interpreters -- Parameter passing -- Object-oriented languages -- Continuation-passing interpreters -- Imperative form and stack architecture -- Scanners and parsers -- Compiler Derivation