BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A language extension for provably safe exception handling - Bart J
 acobs (Katholieke Universiteit Leuven)
DTSTART:20080418T130000Z
DTEND:20080418T140000Z
UID:TALK11552@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:Most modern programming languages include an exception throwin
 g construct for safely\nand easily dealing with unlikely conditions. Howev
 er\, they typically also\ninclude constructs for catching exceptions. This
  creates a safety risk. Furthermore\,\nin a multithreaded program\, even i
 n the absence of catch constructs\, an exception\ntypically terminates the
  thread but not the entire program. As a result\, writing provably\nsafe p
 rograms is difficult. We propose a new language construct\, called subsyst
 ems\,\nto facilitate writing provably safe programs\, and proof rules for 
 this construct that enable\nproving safety properties in the presence of s
 ynchronous and asynchronous exceptions.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR