ECOOP 2013CoCo: Sound and Adaptive Replacement of Java CollectionsGuoqing XuDOI 10.1007/978-3-642-39038-8_1dblpBibTeXNo abstract available.