Rutgers University, Department of Computer Science Technical Report 669; Piscataway, New Jersey, filed April 2010, revised February 2011.
A revised version of this technical report appears in Proceedings of the 26th European Conference on Object-Oriented Programming (ECOOP'12). Please read the ECOOP 2012 paper instead.
Technical report:
[
PDF
]