Cfl-reachability and context-sensitive integrity types (2014)

by A Milanova, W Huang, Y Dong
Venue:In Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, PPPJ ’14