CS421/521 Lecture Notes

Introduction (Jan. 29)

Language Syntax (Jan. 31)

Intro to Scheme (Feb. 7)

Scheme Functions (Feb. 12)

Writing Scheme Functions (Feb. 12)

Sequential Control Structures (Feb. 14)

Parameter Passag (Feb. 19)

Asynchronous Control (Feb. 21)

Boehm & Jacopini Theorem (Feb. 21)

Concurrency (Feb. 26)

Message Passing & Semaphores (Feb. 28)

Monitors & Rendezvous (Mar. 4)

Java Threads (Mar. 25)

Scope and Lifetime (Mar. 27)

The O-O Model (Apr. 1)

Intro to Prolog (Apr. 8)

SWI Prolog (Apr. 10)

The Prolog Inference Engine (Apr. 15)

More Prolog (lists & cuts) (Apr. 17)

Semantics: Axiom of Assignment (Apr. 22)

Axioms for Sequence & Stronger Preassertion (Apr. 24)

Axioms for Selection (Apr. 24)

Axioms for Loops (Apr. 29)