Anatomy of LISP

A-binding abstract data structures actual parameters algorithm associated assume atom call-by-value car and cdr ceval compiler computation COND conditional expressions constant constructs cont contents control structures defined denote describe dest destination block deval discussion domain dope vector dotted pair dynamic binding E₁ elements entry environment eval evalargs example execution formal parameters free variables FUNARG function application function call function name functional argument handle implementations of LISP input instruction interpretation involves label LAMBDA LISP atom LISP expressions LISP function LISP machine LISP's lookup machine MACLISP macro manipulating mapping mathematical non-local variables notation operations p-list peval pointer predicate primitive problem programming language property list QUOTE ratom recognize recursive represent representation requires result S-expr S-expressions scheme Section selectors semantics sequence shallow binding simple space special form specific stack storage string symbol table syntax techniques unary function value cell write