Линейные программы и стековая машина
Среда, 26 февраля 2020
Таймс, 2 этаж, ауд.204
Язык линейных программ. Операторы, конфигурации, семантика большого шага. Стековая машина: система команд, семантика большого шага. Компилятор линейных программ для стековой машины.