Операционная семантика: описание выполнения программы через пошаговые изменения состояния памяти и регистров.
Статей пока нет. Будьте первым!