Eiffel has unsolicited tracing garbage collection. For TGC-free programming there is Ada