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