GC assertions: using the garbage collector to check heap properties.

Edward Aftandilian Samuel Z. Guyer

Published in: PLDI (2009)

Keyphrases

data structure
desirable properties
real time
databases
knowledge base
structural properties
database
decision trees
three dimensional
wide range
preprocessing
medical images