Ten Years of Ownership Types

Advanced Programming Specialist Group event

Thursday 13th March 2008, 6:00pm

The Davidson Building, 5 Southampton Street, London WC2 7HA. The nearest underground stations are Covent Garden and Charing Cross.

Professor Sophia Drossopoulou, Imperial College

Ownership types were suggested by Noble, Vitek, and Potter for type based alias protection. In the ensuing 10 years, they have been taken up and adapted in various ways to restrict aliasing and interference, to support memory management, to avoid race conditions, enforce package level confinement, and express software architectures. In the process, several flavours of ownership types have emerged.

In this talk we shall give a survey of these flavours, their uses, and will describe an underlying formal model. We will also describe recent work, whereby we give up the traditional notion of ownership hierarchies forming a tree.

Free, but to gain admission please e-mail your name to our Vice-Chairman, Dr Frank Martin, at - frank.martin@bcs.org.

CPD Value:
Half Unit