Example

 

The work documented in this section has been contributed by Rod Burstall, Adriana Comagnoni and Thomas Schreiber have been working as part of a collaboration with Harlequin Ltd., who write LISP compilers amongst other products. It is a couple of loops which update an array as one scan of the marking phase.

• The marker phase of a garbage collection algorithm
• The correctness proof