-
Notifications
You must be signed in to change notification settings - Fork 24
Lectures
Ranjit Jhala edited this page Jan 17, 2019
·
4 revisions
[At this link] (https://docs.google.com/spreadsheets/d/15hCev3pRBLSTmulnmjcNqNOmR5WJQhPxLY3zeZAvmyo/edit?usp=sharing)
There is no text for CSE 230, but we will be basing much of the material on:
| Week | Topic | Code | Link |
|---|---|---|---|
| 1. | Refinement Types | lhs | tutorial |
| Proofs of Programs | |||
| 2. | Programs as Proofs | lhs | |
| 3. | Induction on Terms | ||
| 4. | Induction on Evidence | ||
| Proofs for Programs | |||
| 5. | Operational Semantics | ||
| 6. | Axiomatic Semantics | ||
| 7. | Type Systems | ||
| Proofs by Programs | |||
| 8. | Horn Clauses | ||
| 9. | Abstract Interpretation | ||
| 10. | Refinement Types | ||