![[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)
Friday 14 December 2007, 15:15-16:15
Memory safety with exceptions and linear types
- 👤 Speaker: Richard Thrippleton, Computer Laboratory, University of Cambridge
- 📅 Date & Time: Friday 14 December 2007, 15:15 - 16:15
- 📍 Venue: GS15, Computer Laboratory
Questions? Contact
Alan Mycroft
Abstract
PacLang is an existing simple functional language for writing packet processing software. It is notable for its use of a linear type system to deal with memory management and thread safety. I explain how we added error-handling functionality to this language, in the form of exceptions. We called the resulting extended language PacLang++, and wrote a compiler to support it. A significant challenge was in preserving important properties of the type system in the presence of exceptions, without unduly constraining the kinds of program that can be written.
Series This talk is part of the Computer Laboratory Programming Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory Programming Research Group Seminar
- Department of Computer Science and Technology talks and seminars
- GS15, Computer Laboratory
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.