ARC++: effective typestate and lifetime dependency analysis.

Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri

Browse the full ISSTA paper archive.