ARC++: Effective Typestate and Lifetime Dependency Analysis

Xusheng Xiao
Gogul Balakrishnan
Naoto Maeda
Aarti Gupta
Deepak Chhetri
ISSTA, ACM(2014), pp. 116-126

Abstract

Research Areas