атрибутные замыкания

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