Крюкова Анастасия Евгеньевна

Публикации в базе данных Math-Net.Ru

1. Денотационное описание языка AspectTalk
   
   ПДМ, 2011, № приложение к № 4,  61–62
2. Формальное доказательство семантической эквивалентности ядра языка АОП AspectTalk и языка ООП Smalltalk
   
   ПДМ, 2010, № приложение к № 3,  84–85