[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.
PhD student, Computer Science dept.
More information about the Pl-sem-jr