"OwnKit: Inferring Modularly Checkable Ownership Annotations for Java."

Constantine Dymnikov, David J. Pearce, Alex Potanin (2013)

Details and statistics

DOI: 10.1109/ASWEC.2013.30

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-24