tree accumulation
A form of evaluation rule where the values of the operands in the tree percolate upwards starting from the terminal nodes
special forms
Exceptions to the general evaluation rule
syntax in a programming language
the various kinds of expressions in the programming language, each with its associated evaluation rule