Comp 311: References on Jam Evaluation

The following examples show hand traces of the evaluation of Jam programs using various evaluation polices. The format follows the format used in hand evaluations of Scheme in Comp 210.

Sample call-by-value evaluation using explicit substitution

Sample call-by-name evaluation using explicit substitution

Sample call-by-value/lazy-cons evaluation using explicit substitution

Another sample call-by-value/lazy-cons evaluation using explicit substitution

Sample call-by-name/lazy-cons evaluation using explicit substitution

Another sample call-by-name/lazy-cons evaluation using explicit substitution