[JSR308] Type refinement for immutability

Igor Peshansky igorp at us.ibm.com
Wed Aug 5 20:06:11 EDT 2009

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.


You might want to take a look at 
http://cs.nyu.edu/~pechtcha/pubs/cpe05.html .
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/)

More information about the JSR308 mailing list