Реализация конструкций управления на уровне стековой машины и машинного кода

Среда, 01 апреля 2020
Онлайн, занятие в zoom

Описание

Расширение стековой машины метками и инструкциями переходов. Окружения, семантика большого шага для расширенной стековой машины. Инварианты стековых программ для генерации машинного кода с помощью символического интерпретатора.