Kryukova Anastasiya Evgen'evna

Publications in Math-Net.Ru

1. A denotational semantics for the AspectTalk programming language
   
   Prikl. Diskr. Mat., 2011, no. supplement № 4,  61–62
2. Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language Smalltalk
   
   Prikl. Diskr. Mat., 2010, no. supplement № 3,  84–85