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