Alexander I. Legalov

13 papers B 2C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
C Language Extension to Support Procedural-Parametric Polymorphism.
Autom. Control. Comput. Sci.
Alexander I. Legalov, Pavel Kosov
2022 J jnl
Transformation of Functional Dataflow Parallel Programs into Imperative Programs.
Autom. Control. Comput. Sci.
Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov
2021 — conf
Eolang: Toward a New Java-Based Object-Oriented Programming Language.
KES-IDT
Hadi M. Saleh, Sergey V. Zykov, Alexander I. Legalov
2021 B conf
Exploring the Eolang-Java Integration and Interoperability.
KES
Hadi M. Saleh, Joseph Afriyie Attakorah, Sergey V. Zykov, Alexander I. Legalov
2020 — conf
Asynchronous-streamed model for describing dynamically changing parallelism.
ICCS-DE
Alexander I. Legalov, Darya Romanova
2020 J jnl
Evolution of Visualization Methods for Research Publication Collections.
Russ. Digit. Libr. J.
Alexander I. Legalov, Igor A. Legalov, Ivan V. Matkovsky
2019 — conf
Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming.
SSI
Alexander I. Legalov, Igor A. Legalov, Ivan V. Matkovsky
2018 J jnl
Loop-invariant Optimization in the Pifagor Language.
Autom. Control. Comput. Sci.
Vladimir S. Vasilev, Alexander I. Legalov
2018 J jnl
Verification of Programs with Mutual Recursion in Pifagor Language.
Autom. Control. Comput. Sci.
Mariya S. Ushakova, Alexander I. Legalov
2017 C conf
Associative synthesis of finite state automata model of a controlled object with hyperdimensional computing.
IECON
Evgeny Osipov, Denis Kleyko, Alexander I. Legalov
2013 B conf
Formal Verification of Programs in the Pifagor Language.
PaCT
Mariya S. Kropacheva, Alexander I. Legalov
2013 J jnl
Formal verification of programs in the functional data-flow parallel language.
Autom. Control. Comput. Sci.
Mariya S. Kropacheva, Alexander I. Legalov
2013 J jnl
Tail recursion transformation in functional dataflow parallel programs.
Autom. Control. Comput. Sci.
Alexander I. Legalov, Oleg V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva