>>3
(1) 一般にはスタックと呼ばれるが言語仕様にはそのような規定はないので、
　　実行環境によっては違うこともあるかもね。
　　(言語仕様ではオブジェクトの寿命が決められているだけ。)
(2) 主流の CPU では b の方が小さい番地の可能性が高い。
(3) スタックはメモリの上位番地から下位番地に向かって使われる。
　　なんでそうなるかっていうのは結局のところそう決めたから
　　そうなっているってだけなんで、逆でもかまわないし、
　　実際に逆にデザインされたアーキテクチャは存在する。
　　https://ja.wikipedia.org/wiki/PA-RISC

これらはコンピュータアーキテクチャの話。
言語の仕様とそれがどのように実装されているか (機械語を生成するか) は別物なんで、
そこらへんのレイヤを区別して考えないとわけわからんと思う。