-
Notifications
You must be signed in to change notification settings - Fork 24
Lectures
Ranjit Jhala edited this page Mar 17, 2019
·
4 revisions
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 | Ch2 of Nipkow & Klein |
| 3. | Induction on Terms | lhs | Ch3 of Nipkow & Klein |
| 4. | Induction on Evidence | lhs | Ch4 of Nipkow & Klein |
| Proofs for Programs | |||
| 5. | Big Step Semantics | lhs | Ch7 of Nipkow & Klein |
| 6. | lhs | ||
| 7. | Small Step Semantics | lhs | |
| 8. | lhs | ||
| 9. | Axiomatic Semantics | lhs | |
| 10. | lhs | ||
| Type Systems | |||
| Proofs by Programs | |||
| Horn Clauses | |||
| Abstract Interpretation | |||
| Refinement Types | |||