![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Bart Jacobs (Katholieke Universiteit Leuven)
Friday 18 April 2008, 14:00-15:00
A language extension for provably safe exception handling
- đ¤ Speaker: Bart Jacobs (Katholieke Universiteit Leuven)
- đ Date & Time: Friday 18 April 2008, 14:00 - 15:00
- đ Venue: Room FW11, Computer Laboratory, William Gates Building
Abstract
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.
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- Room FW11, Computer Laboratory, William Gates Building
- School of Technology
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.