Schedule subject to change as course progresses. |
Lecture slides for not yet given lectures are preliminary, and may change. |
Jan 20 |
Course Introduction & Introduction to Operational Semantics |
slides
(full sized PDF)
(6 up PDF)
|
Jan 22 |
Structured Operational Semantics |
slides
(full sized PDF)
(6 up PDF)
|
|
Jan 27 |
Typing as Abstract Natural Semantics |
slides
(full sized PDF)
(6 up PDF)
|
Jan 29 |
Structural Operational Semantics (Tranistion Semantics) |
slides
(full sized PDF)
(6 up PDF)
|
|
Feb 3 |
Reduction Semantics with Evaluation Contexts |
(full sized PDF)
(6 up PDF)
|
Feb 5 |
Reduction Semantics with Evaluation Contexts (cont) |
slides cont
|
|
Feb 10 |
Context Semantics Example |
(full sized PDF)
(6 up PDF)
|
Feb 12 |
Starting K |
(full sized PDF)
(6 up
PDF)
nothing.k
int.k
arith0.k
arith1.k
arith2.k
arith10.k
|
|
Feb 17 |
Intro to K |
arith.k
bool.k
|
Feb 19 |
SIMP1 in K |
arithbool.k
simpminus.k
simp.k
simp.k
|
|
Feb 24 |
Configurations in K |
(full sized PDF)
(6 up PDF)
|
Feb 26 |
Aliases in K |
simp.k
fact2.k
fact3.k
|
---|
|
Mar 2 |
References for SIMPL cont |
simp.k
test.sim3
|
Mar 4 |
MIDTERM (review for take-home) |
|
|
|
Mar 9 |
References cont |
|
Mar 11 |
EOH - no class cont |
|
|
Mar 16 |
References cont |
|
Mar 18 |
Arrays
|
|
|
Mar 23 |
SPRING BREAK |
|
Mar 25 |
SPRING BREAK |
|
|
Mar 30 |
Arrays, Blocks with local scope |
Files: star.k
array.k
block.k
|
Apr 1 |
blocks |
|
|
|
Apr 6 |
Procedures |
Files: procedures.k
simp5.k
|
Apr 8 |
Object-oriented Programming (KOOL) |
File: kool-untyped.k
|
|
Apr 13 |
KOOL cont |
|
Apr 15 |
KOOL, start functional paradigm
| Some OO slides:
CS422Lecture24.pdf
CS422Lecture24-2x3.pdf
|
|
|
Apr 20 |
Funtional Programming: SML |
Standard ML Definition book
File: microml_1.k
|
Apr 22 |
Phrasing Nat Sem Rules in K, SML Atomic Expressions |
File: microml.k
|
|
Apr 27 |
TBD |
Apr 29 |
TBD |
|
|
May 4 |
Review |
|
|
May 9 (must be confirmed) |
FINAL (7:00pm - 10:000m) |