A computer system is used to run one or more programs. It includes a
memory having at least a first heap and a second heap in which objects
are stored, with a first object being stored on the first heap. A write
barrier is provided for detecting that said the first object has been
updated by a program to include a first reference to a memory location in
the second heap.