August
| Tue | Thu |
|---|---|
|
22 (FDOC)
syllabus Pollev survey Read AOP materials |
24
OO history |
| 29
class canceled |
31
PL Paradigms ADT Axioms ADT PPT install SMLNJ |
September
| Tue | Thu |
|---|---|
| 05 Well-being day (no class) | 07
SML and Functional Programming SML programming |
| 12
more SML currying, higher order fns brief lambda calculus as a SML semantic computation model examples applied to ADT axioms |
14
work on team exploration
of using chatGPT to produce "implementations" of Guttag-style ADT specs |
| 19
zoom video on lambda calculus lambda calculus notes in vid |
21
back to OO... issues OO issues zoom recording OO pillars zoom recording 1 zoom recording 2 |
| 26
AOP intro AspectJ Basics Model federations |
28
concurrency Sample Java threads (zip) COMP 301 threads review (a)(A. Smith) COMP 301 threads review (b)(A. Smith) |
October
| Tue | Thu |
|---|---|
| 03
concurrency (cont.) Sample Java threads (zip) object lock example |
05
Actor model Erlang |
| 10
Erlang |
12
Erlang
|
| 17
No class meeting
Watch this vid
on Erlang processes and message passing Then do assignment 5 on Erlang process programming |
19
Fall Break |
| 24
Erlang Processes Erlang Code Examples Erlang Process Code Examples |
26
Erlang Processes More Erlang Process Code Examples Erlang Process Patterns |
| 31
Linda and Tuplespace zoom video PPT Notes |
|
November
December
| Tue | Thu |
|---|---|
| 05 (590 LDOC) | 07 (UNC first exam) |
| 12 | 14 |
AOP intro AspectJ Basics
Model federations