ARC++: Effective Typestate and Lifetime Dependency Analysis

ISSTA, ACM (2014), pp. 116-126

Abstract

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

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