What can the gc compute efficiently?: a language for heap assertions at gc time (2010)

by Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward E Aftandilian, Samuel Z Guyer
Venue:In Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPSLA ’10