What can the GC compute efficiently?: a language for heap assertions at GC time.

Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer

Browse the full OOPSLA paper archive.