Laurent Hubert. A non-null annotation inferencer for Java bytecode. In Shriram Krishnamurthi, Michal Young, editors, Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008. pages 36-42, ACM, 2008. [doi]
Abstract is missing.