On 4/22/2011 2:04 PM, Timon Gehr wrote: > The reason Java is garbage collected is _not_ performance, but primarily > reliability. I believe a GC is required if one wishes to prove memory safety, which is definitely a design goal of Java.