Функции и области описания в стековой машине и машинном коде

Расширение стековой машины. Компилятор в стековую машину как интерпретатор с символическим состоянием. Соглашения о вызовах. Локальная стстиам, рамка стека, доступ к локальным аргументам и параметрам, возврат результата функции.