Zobrazeno 1 - 10
of 39
pro vyhledávání: '"A I Legalov"'
Autor:
Alexander I. Legalov, Pavel V. Kosov
Publikováno v:
Моделирование и анализ информационных систем, Vol 30, Iss 1, Pp 40-62 (2023)
Software development is often about expanding functionality. To improve reliability in this case, it is necessary to minimize the change in previously written code. For instrumental support of the evolutionary development of programs, a procedural-pa
Externí odkaz:
https://doaj.org/article/136d9966ca8c46db819b1087e09f147a
Autor:
Alexander I. Legalov, Yegor G. Bugayenko, Nickolay K. Chuykin, Maksim V. Shipitsin, Yaroslav I. Riabtsev, Andrey N. Kamenskiy
Publikováno v:
Моделирование и анализ информационных систем, Vol 29, Iss 3, Pp 246-264 (2022)
The paper analyzes the possibilities of transforming C programming language constructs into objects of EO programming language. The key challenge of the method is the transpilation from a system programming language into a language of a higher level
Externí odkaz:
https://doaj.org/article/69be230d7c3046f3acc020f1844232a1
Publikováno v:
Моделирование и анализ информационных систем, Vol 28, Iss 2, Pp 198-214 (2021)
Functional dataflow programming languages are designed to create parallel portable programs. The source code of such programs is translated into a set of graphs that reflect information and control dependencies. The main way of their execution is int
Externí odkaz:
https://doaj.org/article/abc98536f0eb4f4c8eea69c60139402f
Publikováno v:
Моделирование и анализ информационных систем, Vol 27, Iss 2, Pp 164-179 (2020)
A statically typed version of the data driven functional parallel computing model is proposed. It enables a representation of dynamically changing parallelism by means of asynchronous serial data flows. We consider the features of the syntax and sema
Externí odkaz:
https://doaj.org/article/0d3a4544af7a40bdbd6f9c73e31f98c9
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)
In the article, a novel approach to the development, analysis and transformation of parallel programs is considered. A functional dataflow parallel programming language is used. It supports writing programs independently of any resource limitations.
Externí odkaz:
https://doaj.org/article/b29215e8156c4dfaafc0090f6697be25
Publikováno v:
Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 347-357 (2018)
The paper considers methods of program transformation equivalent to optimizing the cycle invariant, applied to the functional data-flow model implemented in the Pifagor programming language. Optimization of the cycle invariant in imperative programmi
Externí odkaz:
https://doaj.org/article/5a6efb63057643e4b874192613e2ffc6
Publikováno v:
Моделирование и анализ информационных систем, Vol 25, Iss 4, Pp 358-381 (2018)
In the article, we consider verification of programs with mutual recursion in the data driven functional parallel language Pifagor. In this language the program could be represented as a data flow graph, that has no control connections, and has only
Externí odkaz:
https://doaj.org/article/9a9effe4500e4de3a2d6461f0c623422
Publikováno v:
Automatic Control and Computer Sciences. 55:636-646
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a69b04c2c01f521fa0dafa848aeb1a8
https://doi.org/10.3103/s0146411621070105
https://doi.org/10.3103/s0146411621070105
Autor:
M. S. Ushakova, A. I. Legalov
Publikováno v:
Моделирование и анализ информационных систем, Vol 22, Iss 4, Pp 578-589 (2015)
Nowadays, due to software sophistication, programs correctness is more often proved by means of formal verification. The method of deduction based on Hoare logic could be used for any programminglanguage and it has the capability of partial automati
Externí odkaz:
https://doaj.org/article/7cce091fb32e4c7798330e74ca07da96
Autor:
M. S. Kropacheva, A. I. Legalov
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 5, Pp 81-99 (2015)
The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs c
Externí odkaz:
https://doaj.org/article/dd9fdfceeb8a46f7be88dedb37d581fe