Constantine Dymnikov, David J. Pearce, Alex Potanin. OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. In 22nd Australian Conference on Software Engineering (ASWEC 2013), 4-7 June 2013, Melbourne, Victoria, Australia. pages 181-190, IEEE, 2013. [doi]
Abstract is missing.