A general framework for certifying garbage collectors and their mutators.

Andrew McCreight Zhong Shao Chunxiao Lin Long Li

Published in: PLDI (2007)

Keyphrases

garbage collection
data analysis
database
multi agent systems
association rules
general purpose
web applications
data processing
load balancing
parallel processing