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

Justin R. Slepak jrslepak at ccs.neu.edu
Thu Oct 11 17:54:25 EDT 2012

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.

More information about the Pl-sem-jr mailing list