David L. Heine, Monica S. Lam
Static detection of leaks in polymorphic containers
ICSE, 2006.
@inproceedings{ICSE-2006-HeineL, author = "David L. Heine and Monica S. Lam", booktitle = "{Proceedings of the 28th International Conference on Software Engineering}", doi = "10.1145/1134321", editor = "Leon J. Osterweil and Hans Dieter Rombach and Mary Lou Soffa", isbn = "1-59593-375-1", pages = "252--261", publisher = "{ACM}", title = "{Static detection of leaks in polymorphic containers}", year = 2006, }