DLS:Andrew Appel, Princeton University - Program Logics for Certified Compilers

Event Type: 
DLS
Dates: 
Friday, November 1, 2013 - 2:30pm
Location: 
CEWIT200
Event Description: 

Andrew Appel, Princeton (DLS)

Topic: Program Logics for Certified Compilers

Computed Event Type: 
Mis