[JSR308] Type refinement for immutability

[Igor Peshansky]

jsr308-bounces at lists.csail.mit.edu wrote on 08/05/2009 06:28:35 PM:

> Dear Colleagues,
> 
> Is there anyone that has had some practical experience with using type
> refinement to handle immutability?  Some people in JSR 302 are
> interested in the possibility of using annotations to keep trace of some
> object that should not be modified, without having to introduce many new
> types.  For those of you who know the RTSJ, this has to do with things
> such as the HighResoultionTime classes and the ReleaseParameter classes.

James,

You might want to take a look at 
http://cs.nyu.edu/~pechtcha/pubs/cpe05.html .
HTH,
        Igor
-- 
Igor Peshansky  (note the spelling change!)
IBM T.J. Watson Research Center
XJ: No More Pain for XML's Gain (http://www.research.ibm.com/xj/)
X10: Parallel Productivity and Performance (http://x10.sf.net/)