§ Class Slides 11: Axiomatic Semantics (Cont.) Class Slides 10: Axiomatic Semantics Class Slides 12: The Lambda Calculus Home

Slide 11.1: Axiomatic semantics of a language Slide 11.2: Assignment statements Slide 11.3: If-statements Slide 11.4: While-statements Slide 11.5: Proofs of program correctness Slide 11.6: Example I of program correctness Slide 11.7: Example I of program correctness (cont.) Slide 11.8: Example II of program correctness Slide 11.9: Example II of program correctness (cont.) Slide 11.10: Example II of program correctness (cont.) Slide 11.11: Example II of program correctness (cont.)

§ Programming Language Survey: JavaScript

Slide 11.a: JavaScript Slide 11.b: JavaScript (cont.) Slide 11.c: JavaScript how to … Slide 11.d: JavaScript where to … Slide 11.e: JavaScript where to … (cont.) Slide 11.f: JavaScript variables