про Garbage collector
по мотивам недавнего разговора для xeno_by про финализаторы – загляни, я пытался высказать то же самое, но у Рэймонда более внятно написано
http://blogs.msdn.com/b/oldnewthing/archive/2010/08/09/10047586.aspx
And the stack is an implementation detail, too, да. Только про стэк есть хороший контрпример (Stackless Python), а про GC я не знаю такого(