August
| Mon | Tue | Wed | Thu | Fri | Sat | Sun |
|---|---|---|---|---|---|---|
| 16 | 17 | 18 UNC FDOC | 19
590 FDOC
syllabus Pollev survey Read AOP materials |
20 | 21 | 22 |
| 23
|
24
OO history AOP intro |
25 | 26
no class meeting today
work on Assn 1, and on AOP AspectJ install |
27 | 28 | 29 |
| 30 | 31
OO issues AOP intro AspectJ install |
|
||||
September
| Mon | Tue | Wed | Thu | Fri | Sat | Sun |
|---|---|---|---|---|---|---|
|
|
01 | 02 Class recording AspectJ Basics | 03 | 04 | 05 | |
| 06
holiday: no classes |
07
class recording
AspectJ Basics (cont.)
Model federations install SMLNJ |
08 | 09
class recording ML and Functional Programming Overview ML programming |
10 | 11 | 12 |
| 13
|
14 | 15 | 16
class recording ADT Axioms |
17 | 18 | 19 |
| 20
|
21
class recording More ADT in ML More ML details lazy vs. eager eval |
22 | 23
class recording lambda calculus |
24 | 25 | 26 |
| 27 | 28 | 29 | 30
class recording concurrency Sample Java threads (zip) |
|
||
October
| Mon | Tue | Wed | Thu | Fri | Sat | Sun |
|---|---|---|---|---|---|---|
|
|
01 | 02 | 03 | |||
| 04
|
05
class recording COMP 301 review (a)(A. Smith) COMP 301 review (b)(A. Smith) Erlang |
06 | 07 | 08 | 09 | 10 |
| 11
|
12 U Day: no class | 13 | 14
class recording Erlang |
15 | 16 | 17 |
| 18
|
19
class recording Erlang Modules |
20 | 21 Fall Break | 22 Fall Break | 23 | 24 |
| 25
|
26
class recording Erlang Processes Erlang Code Examples |
27 | 28 | 29 | 30 | 31 |
November
| Mon | Tue | Wed | Thu | Fri | Sat | Sun |
|---|---|---|---|---|---|---|
| 01
|
02
class recording Erlang Process Patterns |
03 | 04
class recording Model Checking Clarke TOPLAS paper |
05 | 06 | 07 |
| 08
|
09
class recording Model Checking |
10 | 11 | 12 | 13 | 14 |
| 15
|
16
class recording Actor model (the screen sharing got messed up, you will have to follow along with the slides to view this) |
17 | 18
class recording Linda tuplespace |
19 | 20 | 21 |
| 22
|
23
Futures recording (formal model) Futures recording (prog examples) Futures PPT Sample Java Code |
24 TG Break | 25 TG Break | 26 TG Break | 27 | 28 |
| 29 | 30 590 LDOC |
|
||||
December
| Mon | Tue | Wed | Thu | Fri | Sat | Sun |
|---|---|---|---|---|---|---|
|
|
01 UNC LDOC | 02 reading day | 03 UNC first exam | 04
590 Final Exam PPT due (submit to Sakai) |
05 | |
| 06
|
07
590 final exam (official slot, ours is take home and due Dec 4) |
08 reading day | 09 | 10 UNC last exam | 11 | 12 |
| 13
|
14 | 15 | 16 | 17 | 18 | 19 |
| 20
|
21 | 22 | 23 | 24 | 25 | 26 |
| 27 | 28 | 29 | 30 | 31 |
|
|