§ Class Slides 9: Operational Semantics (Cont.) Class Slides 8: Operational Semantics Class Slides 10: Axiomatic Semantics Home

Slide 9.1: Environments Slide 9.2: Environments and assignments Slide 9.3: Reduction rules of assignments Slide 9.4: Reduction rules of assignments (cont.) Slide 9.5: Reduction rules of assignments (cont.) Slide 9.6: An assignment example Slide 9.7: Control Slide 9.8: A control example Slide 9.9: A control example (cont.)

§ Programming Language Survey: XML (eXtensible Markup Language)

Slide 9.a: XML (eXtensible Markup Language) Slide 9.b: XML (cont.) Slide 9.c: Why XML? Slide 9.d: Why XML? (cont.) Slide 9.e: XML syntax Slide 9.f: XML syntax (cont.) Slide 9.g: Business document exchange Slide 9.h: Business document exchange (cont.)