7. Конструкции управления на уровне выражений

Объединение синтаксических категорий выражений и операторов. Well-formed абстрактный синтаксис, вывод well-formed AST по сокращенному AST, полученному синтаксическим анализатором. Операционная семантика выражений с побочными эффектами. Модификация стековой машины, операционная семантика. Нарушение инварианта символического интерпретатора стековой машины и его восстановление. Генерация машинного кода.