[adamnemecek]

> you really want precise garbage collection on both stack and heap

This might be a dumb question but what run-times have a garbage collected stack? I Googled around but did not really find anything.

[pcwalton]

I don't mean a garbage collected stack per se (though since you asked, SML/NJ has this, as do several Schemes). What I mean is that precise stack maps or register tagging is used so that the roots can precisely be found on the stack.