スタックとかヒープとか基本的に実装依存じゃないの
言語レベルで規格として策定されてるのある?