University of Cambridge > Talks.cam > Computer Laboratory Programming Research Group Seminar > Memory safety with exceptions and linear types

Memory safety with exceptions and linear types

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity