§ Class Slides 8: Operational Semantics Class Slides 7: Denotational Semantics Class Slides 9: Operational Semantics (Cont.) Home

Slide 8.1: Operational semantics Slide 8.2: Operational semantics (cont.) Slide 8.3: A reduction machine Slide 8.4: Logical inference rules Slide 8.5: Reduction rules for integer arithmetic expressions Slide 8.6: Reduction rules for integer arithmetic expressions (cont.) Slide 8.7: Reduction rules for integer arithmetic expressions (cont.) Slide 8.8: Reduction rules for integer arithmetic expressions (cont.)

§ Programming Language Survey: Lisp

Slide 8.a: Lisp Slide 8.b: Definitions and basic functions Slide 8.c: Basic functions (cont.) Slide 8.d: COND Slide 8.e: How to write functions Slide 8.f: Programming Exercise II: calculating a string expression Slide 8.g: Using Lisp