المؤلفون: Alexander I. Legalov, Pavel V. Kosov

المصدر: Моделирование и анализ информационных систем, Vol 30, Iss 1, Pp 40-62 (2023)

مصطلحات موضوعية: programming languages, compilation, procedural-parametric programming, polymorphism, multiple polymorphism, evolutionary software development, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1766; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/136d9966ca8c46db819b1087e09f147a

المؤلفون: Alexander I. Legalov, Yegor G. Bugayenko, Nickolay K. Chuykin, Maksim V. Shipitsin, Yaroslav I. Riabtsev, Andrey N. Kamenskiy

المصدر: Моделирование и анализ информационных систем, Vol 29, Iss 3, Pp 246-264 (2022)

مصطلحات موضوعية: program transformation, procedural programming, object-oriented programming, transpilation, compilation, programming languages, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1715; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/69be230d7c3046f3acc020f1844232a1

المؤلفون: Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov

المصدر: Моделирование и анализ информационных систем, Vol 28, Iss 2, Pp 198-214 (2021)

مصطلحات موضوعية: transformation of programs, dataflow parallel programming, program analysis, typing, intermediate program representations, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1488; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/abc98536f0eb4f4c8eea69c60139402f

المؤلفون: Alexander I. Legalov, Ivan V. Matkovskii, Mariya S. Ushakova, Darya S. Romanova

المصدر: Моделирование и анализ информационных систем, Vol 27, Iss 2, Pp 164-179 (2020)

مصطلحات موضوعية: parallel computations, asynchronous computations, static typing, dynamically changing parallelism, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1323; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/0d3a4544af7a40bdbd6f9c73e31f98c9

المؤلفون: A. I. Legalov, V. S. Vasilyev, I. V. Matkovskii, M. S. Ushakova

المصدر: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)

مصطلحات موضوعية: архитектурно-независимое параллельное программирование, функционально-потоковое параллельное программирование, трансформация программ, средства разработки программ, информационный граф, управляющий граф, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/358; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

URL الوصول: https://doaj.org/article/b29215e8156c4dfaafc0090f6697be25

المؤلفون: Vladimir S. Vasilev, Alexander I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 347-357 (2018)

مصطلحات موضوعية: data driven functional parallel programming, pifagor programming language, code optimization, loop optimization, invariant optimization, program dependence graph, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/728; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/5a6efb63057643e4b874192613e2ffc6

المؤلفون: Mariya S. Ushakov, Alexander I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 358-381 (2018)

مصطلحات موضوعية: data driven functional parallel programming, pifagor programming language, correctness of recursions, elimination of mutual recursion, universal recursive function, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/729; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/9a9effe4500e4de3a2d6461f0c623422

المؤلفون: A. I. Legalov, I. V. Matkovskii, M. S. Ushakova, D. S. Romanova

المصدر: Automatic Control and Computer Sciences. 55:636-646

مصطلحات موضوعية: Control and Systems Engineering, Signal Processing, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6a69b04c2c01f521fa0dafa848aeb1a8
https://doi.org/10.3103/s0146411621070105

المؤلفون: M. S. Ushakova, A. I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 22, Iss 4, Pp 578-589 (2015)

مصطلحات موضوعية: functional data-flow parallel programming, pifagor programming language, programs formal verification, toolkit for supporting formal verification, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/274; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/7cce091fb32e4c7798330e74ca07da96

المؤلفون: M. S. Kropacheva, A. I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2015)

مصطلحات موضوعية: functional data-flow parallel programming, pifagor programming language, programs formal verification, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/59; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/dd9fdfceeb8a46f7be88dedb37d581fe

المؤلفون: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)

مصطلحات موضوعية: functional dataflow parallel programming, tail recursion, programs transformation, pifagor programming language, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/40; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba

المؤلفون: M. A. Farkov, A. I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 21, Iss 5, Pp 93-101 (2014)

مصطلحات موضوعية: gpgpu, cuda, molecular docking, virtual screening, ligand-protein docking, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/87; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/5944ac75d44647bf9b5a1029a52c60ce

المؤلفون: Joseph Afriyie Attakorah, Sergey V. Zykov, Hadi M. Saleh, Alexander I. Legalov

المصدر: KES

مصطلحات موضوعية: Focus (computing), Syntax (programming languages), Java, business.industry, Semantics (computer science), Computer science, Interoperability, Subject (documents), Construct (python library), Software, General Earth and Planetary Sciences, Software engineering, business, computer, General Environmental Science, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6085f46a681ec33764c181ddfd066945
https://doi.org/10.1016/j.procs.2021.09.234

المؤلفون: Vladimir S. Vasilev, Alexander I. Legalov

المصدر: Science Bulletin of the Novosibirsk State Technical University. :37-46

مصطلحات موضوعية: Control flow, Dataflow, Programming language, Computer science, Parallel programming model, General Engineering, computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ebdde1468d914697732c56d3ba5051ae
https://doi.org/10.17212/1814-1196-2020-4-37-46

المؤلفون: Alexander I. Legalov, Igor Alexandrovich Legalov, Ivan Vasilievich Matkovsky

المصدر: Russian Digital Libraries Journal. 23:788-807

مصطلحات موضوعية: Instrumental support, Basis (linear algebra), Syntax (programming languages), Semantics (computer science), Computer science, Programming language, Dataflow, Parallel programming model, Programming paradigm, General Medicine, Type (model theory), computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::602bd6e97af07a87378e611505c08c18
https://doi.org/10.26907/1562-5419-2020-23-4-788-807

المؤلفون: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, хвостовая рекурсия, преобразование программ, язык программирования Пифагор, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://mais-journal.ru/jour/article/view/40; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/b53193689f7443fbaf86adbb5b3bf569

المؤلفون: M. S. Kropacheva, A. I. Legalov

المصدر: Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2012)

مصطلحات موضوعية: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://mais-journal.ru/jour/article/view/59; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

URL الوصول: https://doaj.org/article/c7afaf2cf8754edba232ba51bf635d67

المؤلفون: Hadi M. Saleh, Alexander I. Legalov, Sergey V. Zykov

المصدر: Intelligent Decision Technologies ISBN: 9789811627644
KES-IDT

مصطلحات موضوعية: Constructed language, Functional programming, Object-oriented programming, Java, Computer science, Programming language, Programming paradigm, Maintainability, Software system, Value (semiotics), computer.software_genre, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d429dd14861061c785102a43497efac3
https://doi.org/10.1007/978-981-16-2765-1_30

المؤلفون: Darya Romanova, Alexander I. Legalov

المصدر: ICCS-DE

مصطلحات موضوعية: Computer science, Asynchronous communication, Parallelism (grammar), Parallel computing

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::30243afb537e5954cccfa9a7ec3b49c1
https://doi.org/10.47350/iccs-de.2020.17

المؤلفون: Mariya S. Ushakova, Alexander I. Legalov

المصدر: Automatic Control and Computer Sciences. 52:850-866

مصطلحات موضوعية: 021110 strategic, defence & security studies, Recursion, Correctness, Theoretical computer science, Computer science, 0211 other engineering and technologies, Program transformation, 02 engineering and technology, Function (mathematics), Mathematical proof, Mutual recursion, Control and Systems Engineering, Signal Processing, 0202 electrical engineering, electronic engineering, information engineering, Graph (abstract data type), 020201 artificial intelligence & image processing, Software, Data-flow analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e4440a7e871135f3efcab8ef7ed9b868
https://doi.org/10.3103/s0146411618070301