Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Legalov, Aleksandr Ivanovich
Statistics Math-Net.Ru
Total publications: 15
Scientific articles: 15
Presentations: 1

Number of views:
This page:232
Abstract pages:2226
Full texts:1151
References:323
Professor
Doctor of technical sciences
E-mail:

https://www.mathnet.ru/eng/person79129
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-5487-0699

Publications in Math-Net.Ru Citations
2023
1. A. I. Legalov, P. V. Kosov, “C language extension to support procedural-parametric polymorphism”, Model. Anal. Inform. Sist., 30:1 (2023),  40–62  mathnet
2022
2. A. I. Legalov, Y. G. Bugayenko, N. K. Chuykin, M. V. Shipitsin, Ya. I. Riabtsev, A. N. Kamenskiy, “Transformation of C programming language memory model into object-oriented representation of EO language”, Model. Anal. Inform. Sist., 29:3 (2022),  246–264  mathnet 1
3. I. N. Ryzhenko, O. V. Nepomnyaschy, A. I. Legalov, V. V. Shaidurov, “Methods for change parallelism in process of high-level VLSI synthesis”, Model. Anal. Inform. Sist., 29:1 (2022),  60–72  mathnet  mathscinet
4. D. S. Romanova, O. V. Nepomnyaschy, I. N. Ryzhenko, A. I. Legalov, N. Yu. Sirotinina, “Parallelism reduction method in the high-level vlsi synthesis implementation”, Proceedings of ISP RAS, 34:1 (2022),  69–72  mathnet
2021
5. V. S. Vasilyev, A. I. Legalov, S. V. Zykov, “The system for transforming the code of dataflow programs into imperative”, Model. Anal. Inform. Sist., 28:2 (2021),  198–214  mathnet 1
2020
6. A. I. Legalov, I. V. Matkovskii, M. S. Ushakova, D. S. Romanova, “Dynamically changing parallelism with the asynchronous sequential data flows”, Model. Anal. Inform. Sist., 27:2 (2020),  164–179  mathnet 1
2018
7. M. S. Ushakova, A. I. Legalov, “Verification of programs with mutual recursion in the Pifagor language”, Model. Anal. Inform. Sist., 25:4 (2018),  358–381  mathnet  elib
8. V. S. Vasilyev, A. I. Legalov, “Loop-invariant optimization in the Pifagor language”, Model. Anal. Inform. Sist., 25:4 (2018),  347–357  mathnet  elib
2017
9. A. I. Legalov, V. S. Vasilyev, I. V. Matkovskii, M. S. Ushakova, “Support tools for creation and transformation of functional-dataflow parallel programs”, Proceedings of ISP RAS, 29:5 (2017),  165–184  mathnet  elib 1
2015
10. M. S. Ushakova, A. I. Legalov, “Automation of formal verification of programs in the Pifagor language”, Model. Anal. Inform. Sist., 22:4 (2015),  578–589  mathnet  mathscinet  elib 3
11. M. S. Ushakova, A. I. Legalov, “A toolkit for supporting formal verification of programs in the functional data-flow parallel programming language”, Vestn. YuUrGU. Ser. Vych. Matem. Inform., 4:2 (2015),  58–70  mathnet  elib
2014
12. A. I. Legalov, M. A. Farkov, “Application of numerical optimization methods to perform molecular docking on graphics processing units”, Model. Anal. Inform. Sist., 21:5 (2014),  93–101  mathnet 2
13. D. A. Nedorezov, A. I. Legalov, O. V. Nepomnjashhij, S. S. Krasnenko, A. V. Ankudinov, “Mutation test metodology for onboard spacecrafts radioelectronic equipment ground test”, Sistemy i Sredstva Inform., 24:1 (2014),  73–79  mathnet  elib
2012
14. 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 1
15. 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

Presentations in Math-Net.Ru
1. Процедурно-параметрический полиморфизм и его интеграция с языком программирования C
A. I. Legalov
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
May 29, 2024 16:00   

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