[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
external uniqueness.


More information about the JSR308 mailing list