Author:
Millstein Todd,Palsberg Jens
Reference69 articles.
1. Jonathan Aldrich, Valentin Kostadinov, and Craig Chambers. 2002. Alias annotations for program understanding. InProceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 311-30. New York: ACM Press.
2. Fast static analysis of C++ virtual function calls
3. Anindya Banerjee and David A. Naumann. 2002. Representation independence, confinement and access control. InProceedings of POPL'02, SIGPLAN-SIGACTSymposium on Principles of Programming Languages, 166-177.
4. Mike Barnett, Robert DeLine, Manuel Fäahndrich, K. Rustan M. Leino, and Wolfram Schulte. 2003. Verification of object-oriented programs with invariants. InFifth Workshop on Formal Techniques for Java-Like Programs.
5. Escape analysis for object-oriented languages