|
|
Publications in Math-Net.Ru |
Citations |
|
2011 |
1. |
D. A. Stephantsov, A. E. Kryukova, “A denotational semantics for the AspectTalk programming language”, Prikl. Diskr. Mat., 2011, no. supplement № 4, 61–62 |
|
2010 |
2. |
D. A. Stephantsov, A. E. Kryukova, “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 |
1
|
|
Organisations |
|
|