ARC++: Effective Typestate and Lifetime Dependency Analysis

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

Abstract

Research Areas