Google Research

ARC++: Effective Typestate and Lifetime Dependency Analysis

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


No abstract available; check out the Download or Google Scholar links above for publications details.

Research Areas

Learn more about how we do research

We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work