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

Christoph Reichenbach et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics