Ownership types for flexible alias protection (1998)

by David G Clarke, John M Potter, James Noble
Venue:In Proceedings of the 13th Annual Conference on Object-Oriented Programming Systems, Languages and Applications