Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury. Formal semantics of weak references. In Erez Petrank, J. Eliot B. Moss, editors, Proceedings of the 5th International Symposium on Memory Management, ISMM 2006, Ottawa, Ontario, Canada, June 10-11, 2006. pages 126-137, ACM, 2006. [doi]
Abstract is missing.