RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Kropacheva, Mariya Sergeevna

Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:108
Abstract pages:350
Full texts:120
References:50

http://www.mathnet.ru/eng/person79132
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2012
1. M. S. Kropacheva, A. I. Legalov, “Formal Verification of Programs in Functional Dataflow Parallel Language”, Model. Anal. Inform. Sist., 19:5 (2012),  81–99  mathnet
2. A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva, “Tail Recursion Transformation in Functional Dataflow Parallel Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  48–58  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020