Sciweavers

ECOOP
2007
Springer
13 years 10 months ago
Generic Universe Types
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
Werner Dietl, Sophia Drossopoulou, Peter Müll...