Сборщик мусора реализованный в BlackBox подходит под определение "conservative root scanning". "Conservative root scanning treats all bit patterns that happen to represent legal object addresses on the heap as if they were actual pointers to heap objects. This usually works well since it is unlikely that a random integer or float value on the stack is a legal object address, but it makes the memory management completely unpredictable."

А то что я ищу называется "exact root scanning". Реализовано в какой-либо из оберон систем "exact root scanning"? Если да, то где можно почитать об этом.