[JSR308] Unique annotation proposal
John Tang Boyland
boyland at cs.uwm.edu
Mon May 19 12:02:38 EDT 2008
Unique is a slippery concept with many pitfalls. I'd suggest
you look into some of the research papers on the problems.
Since I'm writing, I'll suggest my own:
Alias Burying http://www.cs.uwm.edu/~boyland/papers/unique.html
Connecting effects and uniqueness http://www.cs.uwm.edu/~boyland/papers/connecting2.html
Aldrich's work on AliasJava is import too.
You should also look into the work by Wrigstad, Clarke and others on
More information about the JSR308