Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kryukova, Anastasiya Evgen'evna
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:150
Abstract pages:405
Full texts:144
References:57
E-mail: ,

https://www.mathnet.ru/eng/person55257
List of publications on Google Scholar
List of publications on ZentralBlatt

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  mathnet
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  mathnet 1

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024