| June | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 23
Lecture
Javascript |
24 | 25
Lecture
HTTP Servers |
26
Section
Javascript & Debugging
23:00 HW0 due
|
27
Lecture
The Browser |
| 30
Lecture
React |
01 | 02
Lecture
Typescript |
03
Section
Browser
23:00 HW1 due
|
04
Independence Day
|
| July | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 07
Lecture
Client-Server interaction I |
08 | 09
Lecture
Client-Server interaction II |
10
Section
Client-Server
23:00 HW2 due
|
11
Lecture
Mutation & Specifications I |
| 14
Lecture
Specifications II & Inductive data types |
15 | 16
Lecture
Testing |
17
Section
Specifications
23:00 HW3 due
|
18
Lecture
Correctness |
| 21
Lecture
Proof by calculation |
22 | 23
Lecture
Structural induction |
24
Section
Reasoning
23:00 HW4 due
|
25
Lecture
Floyd logic for straight-line code |
| 28
Lecture
Floyd logic for conditionals |
29 | 30
Lecture
Floyd logic for loops |
31
Section
Floyd Logic
23:00 HW5 due
|
01
Lecture
Data Abstraction |
| August | ||||
|---|---|---|---|---|
| Monday | Tuesday | Wednesday | Thursday | Friday |
| 04
Lecture
ADT Correctness |
05 | 06
Lecture
TBD |
07
Section
Abstraction
23:00 HW6 due
|
08
Lecture
TBD |
| 11
Lecture
TBD |
12 | 13
Lecture
TBD |
14
Section
TBD
23:00 HW7 due
|
15
Lecture
TBD |
| 18
Lecture
TBD |
19 | 20
Lecture
TBD
23:00 HW8 due
|
21
Section
TBD |
22
10:50-11:50 Final exam
DEM 102 |