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

Slide 10.1: Axiomatic semantics Slide 10.2: Applications of Hoare logic Slide 10.3: Applications of Hoare logic (cont.) Slide 10.4: The weakest precondition wp Slide 10.5: The weakest precondition wp (cont.) Slide 10.6: The weakest precondition wp (cont.) Slide 10.7: General properties of wp

§ Programming Language Survey: ASP.NET

Slide 10.a: Microsoft Windows Server 2003 and ASP.NET demo (video: 8 minutes) Slide 10.b: Microsoft ASP.NET Slide 10.c: ASP.NET Web pages Slide 10.d: Writing your first ASP.NET page Slide 10.e: Adding simple code to a page Slide 10.f: Adding simple code to a page (cont.) Slide 10.g: Adding simple code to a page (cont.) Slide 10.h: ASP.NET programming