Scalable Typestate Analysis for Low-Latency Environments.

Alen Arslanagic, Pavle Subotic, Jorge A. Prez

Browse the full IFM paper archive.