1. Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: Proc. 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), ACM Press, New York (2002)
2. Agarwal, R., Stoller, S.D.: Type inference for parameterized racefree Java. Technical Report DAR 03–10, Computer Science Department, SUNY at Stony Brook (October 2003)
3. SIGPLAN Notices;C. Boyapati,2001
4. Cousot, P., Cousot, R.: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM Symposium on Principles of Programming Languages, pp. 238–252 (1977)
5. Ernst, M.D.: Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington, Department of Computer Science and Engineering (2000)