Посмотрите вA2, может быть там есть.

А Вирта стековая консервативность не беспокоила видимо потому, что в той ОС Оберон, которую они с Гуткнехтом написали сборщик вызывался только из главного цикла (система однопоточная), то есть в промежутках между выполнением команд, на стеке в это время "пользовательских" данных не было.

Стековая консервативность это ещё цветочки, вот в Mono до выхода версии 2.8 (она вышла на прошлой неделе) сборщик вёл себя консервативно в некоторых случаях и в куче. Начиная с Mono 2.8 консервативность сохранилась только по стеку.

На работе пишем программы под Mono. Летом 2009 года стала "течь память". Под Microsoft.Net - не стала, а под Mono стала. У Микрософта сборщик точный, а у Mono консервативный, вот и всё объяснение. Пришлось в срочном порядке переделывать программу так чтобы кэшировать объекты для повторного использования, заодно и производительность увеличили.