![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > A language extension for provably safe exception handling
A language extension for provably safe exception handlingAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Matthew Parkinson. Most modern programming languages include an exception throwing construct for safely and easily dealing with unlikely conditions. However, they typically also include constructs for catching exceptions. This creates a safety risk. Furthermore, in a multithreaded program, even in the absence of catch constructs, an exception typically terminates the thread but not the entire program. As a result, writing provably safe programs is difficult. We propose a new language construct, called subsystems, to facilitate writing provably safe programs, and proof rules for this construct that enable proving safety properties in the presence of synchronous and asynchronous exceptions. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsNanoscience Centre Seminar Series J Cambridge Centre for Risk StudiesOther talksSpeak white, speak black, speak American Advances in understanding and treatment of eating disorders Recent Advances in Solid State Batteries and Beyond Li Technologies - Challenges for Fundamental Science Diagnosing diseases of childhood: a bioarchaeological and palaeopathological perspective Attentional episodes and cognitive control Seminar – Why do policymakers seem to ignore your evidence? |