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

Бодин Е.В. Ануреев И.С. Операционная семантика выражений в языке Rust на языке ABML // Системная информатика. — . — № 29.  — С. 189-216
Ануреев И.С. Операционная семантика операторов передачи управления в языке C на языке ABML // Системная информатика. — . — № 29.  — С. 159-188
Подписаться на операционные семантики