операционная семантика

Ануреев И.С. Промский А.В. Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования // Системная информатика. — . — № 9.  — С. 133-154
Шилов Н.В. О логических и алгебраических основаниях классификации формальной семантики программ // Системная информатика. — . — № 6.  — С. 1-18
Ануреев И.С. Операционная семантика языка Рефлекс // Системная информатика. — . — № 14.  — С. 1-10
Ануреев И.С. Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования // Системная информатика. — . — № 9.  — С. 155-200
Ануреев И.С. Программируем операционную семантику языков программирования // Системная информатика. — . — № 24.  — С. 91-100
Подписаться на операционная семантика