SPLASH 2011
Fri 21 - Thu 27 October 2011 Portland, Oregon, United States

Cloning is an essential feature in many object-oriented programs. Unfortunately, existing techniques generally copy too little or too much. We present an object cloning technique that uses the object structure enforced by ownership types to produce the clones.