Ana Milanova, Wei Huang, Yao Dong. CFL-reachability and context-sensitive integrity types. In Joanna Kolodziej, Bruce R. Childers, editors, 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014. pages 99-109, ACM, 2014. [doi]
Abstract is missing.