ARC++: effective typestate and lifetime dependency analysis. - Xusheng Xiao; Gogul Balakrishnan; Franjo Ivancic; Naoto Maeda; Aarti Gupta; Deepak Chhetri (ISSTA, 2014)