Thursday, 25 October 2007

OOPSLA: Ownership session

3 very interesting talks on ownership:
  1. Inferring aliasing and encapsulation properties for Java by Foster/Ma
  2. Multiple ownership by Cameron/Drossopoulou/Noble/Smith
  3. Ownership transfer in universe types by Mueller/Rudich

I especially enjoyed Nicholas Cameron's talk: he has his mojo (sic)! They use an interesting form of existential over ownership annotations (written using a wildcard syntax). I wonder if you could encode their stuff into sep logic where their o&? constraints would be encoded as EXISTS b.o&b formulae? At the very least it would provide some sort of semantics. Yet another thing to discuss with James Noble!

No comments: