Memory safety with exceptions and linear types

Add to your list(s) Download to your calendar using vCal

• Richard Thrippleton, Computer Laboratory, University of Cambridge
• Friday 14 December 2007, 15:15-16:15
• GS15, Computer Laboratory.

If you have a question about this talk, please contact Alan Mycroft.

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.

This talk is part of the Computer Laboratory Programming Research Group Seminar series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• 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
• bld31

Note that ex-directory lists are not shown.