[PL-sem-jr] PL Jr, Friday Oct 11 (tomorrow)

[Justin R. Slepak]

Logics and their uses

This week, we will take a look at several forms of logic that are used in PL -- how the rules of the logic are structured and how they help reason about something. We begin with a review of classical and modal logics, followed by Hoare logic, linear temporal logic, linear logic, and separation logic.

---
Justin Slepak
PhD student, Computer Science dept.