Alexander I. Legalov

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 7

Top Topics

Control Structures

Formal Verification

Parallel Programming

Programming Language

Top Venues

Autom. Control. Comput. Sci.

Publications

Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov
Transformation of Functional Dataflow Parallel Programs into Imperative Programs. Autom. Control. Comput. Sci. 56 (7) (2022)
Hadi M. Saleh, Sergey Zykov, Alexander I. Legalov
Eolang: Toward a New Java-Based Object-Oriented Programming Language. KES-IDT (2021)
Hadi M. Saleh, Joseph Afriyie Attakorah, Sergey Zykov, Alexander I. Legalov
Exploring the Eolang-Java Integration and Interoperability. KES (2021)
Alexander I. Legalov, Igor A. Legalov, Ivan V. Matkovsky
Evolution of Visualization Methods for Research Publication Collections. Russ. Digit. Libr. J. 23 (4) (2020)
Alexander I. Legalov, Igor A. Legalov, Ivan V. Matkovsky
Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming. SSI (2019)
V. S. Vasilev, Alexander I. Legalov
Loop-invariant Optimization in the Pifagor Language. Autom. Control. Comput. Sci. 52 (7) (2018)
Mariya S. Ushakova, Alexander I. Legalov
Verification of Programs with Mutual Recursion in Pifagor Language. Autom. Control. Comput. Sci. 52 (7) (2018)
Alexander I. Legalov, O. V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva
Tail recursion transformation in functional dataflow parallel programs. Autom. Control. Comput. Sci. 47 (7) (2013)
Mariya S. Kropacheva, Alexander I. Legalov
Formal verification of programs in the functional data-flow parallel language. Autom. Control. Comput. Sci. 47 (7) (2013)
Mariya S. Kropacheva, Alexander I. Legalov
Formal Verification of Programs in the Pifagor Language. PaCT (2013)