スタックは、最後に入れた値を最初に取り出すというルールを持つデータ構造です。この順序を後入れ先出し、略してLIFOと呼びます。pushで値を積み、popで一番上の値を取り出します。関数呼び出しのコールスタックも、このスタックの仕組みで動いています。