Back to Results
First PageMeta Content
Data types / Type theory / Java / Concurrent programming languages / Object-oriented programming languages / Immutable object / Const / Final / Subtyping / Scala / Type qualifier / Takes


ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova
Add to Reading List

Document Date: 2012-08-08 17:06:02


Open Document

File Size: 414,61 KB

Share Result on Facebook