{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:08:30Z","timestamp":1773655710881,"version":"3.50.1"},"reference-count":19,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.3103\/s0146411622070239","type":"journal-article","created":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T09:03:26Z","timestamp":1676797406000},"page":"815-827","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Transformation of Functional Dataflow Parallel Programs into Imperative Programs"],"prefix":"10.3103","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3340-6678","authenticated-orcid":false,"given":"V. S.","family":"Vasilev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5487-0699","authenticated-orcid":false,"given":"A. I.","family":"Legalov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2115-5461","authenticated-orcid":false,"given":"S. V.","family":"Zykov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2023,2,19]]},"reference":[{"key":"7535_CR1","doi-asserted-by":"publisher","DOI":"10.1201\/9781351029223","volume-title":"Parallel Computing Architectures and APIs: IoT Big Data Stream Processing.","author":"K. Vivek","year":"2019","unstructured":"Vivek, K., Parallel Computing Architectures and APIs: IoT Big Data Stream Processing. New York: Chapman and Hall\/ CRC, 2019. https:\/\/doi.org\/10.1201\/9781351029223"},{"key":"7535_CR2","unstructured":"Levin, I., Dordopulo, A.I., and Gudkov, V.A., Programmirovanie rekonfiguriruemykh vychislitel\u2019nykh uzlov na yazyke COLAMO (Programming of Reconfigurable Computing Nodes in the COLAMO Language), Taganrog: Tekhnol. Inst., Yuzhnyi Fed. Univ., 2011."},{"key":"7535_CR3","volume-title":"Resource-independent programming of hybrid reconfigurable computing systems, Superkomp\u2019yuternye dni v Rossii (Russian Supercomputing Days)","author":"A.I. Dordopulo","year":"2017","unstructured":"Dordopulo, A.I. and Levin, I.I., Resource-independent programming of hybrid reconfigurable computing systems, Superkomp\u2019yuternye dni v Rossii (Russian Supercomputing Days), Moscow: Mosk. Gos. Univ. im. M.V. Lomonosova, 2017, pp. 714\u2013723."},{"key":"7535_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1080\/17517575.2012.744854","volume":"7","author":"V. Kasyanov","year":"2013","unstructured":"Kasyanov, V., Sisal 3.2: Functional language for scientific parallel programming, Enterprise Inf. Syst., 2013, vol.\u00a07, no. 2, pp. 227\u2013236. \u00a0https:\/\/doi.org\/10.1080\/17517575.2012.744854","journal-title":"Enterprise Inf. Syst."},{"key":"7535_CR5","first-page":"71","volume":"10","author":"A.I. Legalov","year":"2005","unstructured":"Legalov, A.I., Functional language for creating architecturally independent parallel programs, Vychislit. Tekhnol., 2005, vol. 10, no. 1, pp. 71\u201389.","journal-title":"Vychislit. Tekhnol."},{"key":"7535_CR6","doi-asserted-by":"publisher","unstructured":"Levin, I.I., Dordopulo, A.I., Pisarenko, I.V., and Melnikov, A.K., An approach to architecture-independent programming of computing systems based on the aspect-oriented Set@l language, Izv. Yuzhnogo Fed. Univ. Tekh. Nauki, 2018, no. 3, pp. 46\u201358. \u00a0https:\/\/doi.org\/10.23683\/2311-3103-2018-3-46-58","DOI":"10.23683\/2311-3103-2018-3-46-58"},{"key":"7535_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99673-8_2","volume-title":"A toolkit for the development of data-driven functional parallel programmes, Parallel Computational Technologies. PCT 2018","author":"A.I. Legalov","year":"2018","unstructured":"Legalov, A.I., Vasilev, V.S., Matkovskii, I.V., and Ushakova, M.S., A toolkit for the development of data-driven functional parallel programmes, Parallel Computational Technologies. PCT 2018, Sokolinsky, L. and Zymbler, M., Eds., Cham: Springer, 2018, pp.\u00a016\u201330. \u00a0https:\/\/doi.org\/10.1007\/978-3-319-99673-8_2"},{"key":"7535_CR8","doi-asserted-by":"publisher","first-page":"843","DOI":"10.3103\/S0146411618070295","volume":"52","author":"V.S. Vasilev","year":"2018","unstructured":"Vasilev, V.S. and Legalov, A.I., Loop-invariant optimization in the Pifagor language, Autom. Control Comput. Sci., 2018, vol. 52, no. 7, pp. 843\u2013849. \u00a0https:\/\/doi.org\/10.3103\/S0146411618070295","journal-title":"Autom. Control Comput. Sci."},{"key":"7535_CR9","first-page":"213","volume":"4","author":"Yu.V. Udalova","year":"2011","unstructured":"Udalova, Yu.V., Legalov, A. I., and Sirotinina, N.Yu., Methods for debugging and verifying functional-stream parallel programs, Zh. Sib. Fed. Univ. Ser.: Tekh. Tekhnol., 2011, vol. 4, no. 2, pp. 213\u2013224.","journal-title":"Zh. Sib. Fed. Univ. Ser.: Tekh. Tekhnol."},{"key":"7535_CR10","doi-asserted-by":"publisher","first-page":"850","DOI":"10.3103\/S0146411618070301","volume":"52","author":"M.S. Ushakova","year":"2018","unstructured":"Ushakova, M.S. and Legalov, A.I., Verification of programs with mutual recursion in Pifagor language, Autom. Control Comput. Sci., 2018, vol. 52, no. 7, pp. 850\u2013866. \u00a0https:\/\/doi.org\/10.3103\/S0146411618070301","journal-title":"Autom. Control Comput. Sci."},{"key":"7535_CR11","doi-asserted-by":"publisher","unstructured":"Zykov, S.V., Osnovy sovremennogo programmirovaniya. Razrabotka geterogennykh system v internet-orientirovannoi srede (Fundamentals of Modern Programming. Development of Heterogeneous Systems in an Internet-Oriented Environment), IPR Media, 2017. https:\/\/doi.org\/10.23682\/62072","DOI":"10.23682\/62072"},{"key":"7535_CR12","doi-asserted-by":"publisher","unstructured":"Legalov, A.I., Legalov, I.A., and Matkovsky, I.V., Specifics of semantics of a statically typed language of functional and dataflow parallel programming, Nauchn. Servis Seti Internet, 2019, no. 21, pp. 489\u2013500. \u00a0https:\/\/doi.org\/10.20948\/abrau-2019-08","DOI":"10.20948\/abrau-2019-08"},{"key":"7535_CR13","doi-asserted-by":"publisher","first-page":"636","DOI":"10.3103\/S0146411621070105","volume":"55","author":"A.I. Legalov","year":"2021","unstructured":"Legalov, A.I., Matkovskii, I.V., Ushakova, M.S., and Romanova, D.S., Dynamically changing parallelism with asynchronous sequential data flows, Autom. Control Comput. Sci., 2021, vol. 55, no. 7, pp. 636\u2013646. https:\/\/doi.org\/10.3103\/S0146411621070105","journal-title":"Autom. Control Comput. Sci."},{"key":"7535_CR14","doi-asserted-by":"publisher","unstructured":"Nepomnyashchiy, O.V., Ryzhenko, I.N., and Legalov, A.I., Method of architecture-independent high-level synthesis of VLSI, Izv. Yuzhnogo Fed. Univ. Tekh. Nauki, 2018, no. 8, pp. 38\u201347. \u00a0https:\/\/doi.org\/10.23683\/2311-3103-2018-8-38-47","DOI":"10.23683\/2311-3103-2018-8-38-47"},{"key":"7535_CR15","unstructured":"Nepomnyashchiy, O.V., Ryzhenko, I.N., and Legalov, A.I., Methods, algorithms, and software tools for architecturally independent high-level synthesis of single-chip digital systems, Superkomp\u2019yuternye tekhnologii (SKT-2018) (Supercomputing Technologies (SCT-2018)), Rostov-on-Don: Yuzhnyi Fed. Univ., 2018, pp. 104\u2013109."},{"key":"7535_CR16","unstructured":"Ushakova, M.S., Data type semantics of the dataflow parallel programming language Pifagor, Obraz. Resursy Tekhnol., 2016, no. 2, pp. 263\u2013269."},{"key":"7535_CR17","unstructured":"Matkovsky, I.V. and Legalov, A.I., Instrumental support for the translation and execution of functional-stream parallel programs, Polzunovsky Vestn., 2013, no. 2, pp. 49\u201352."},{"key":"7535_CR18","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., and Warren, J.D., The program dependence graph and its use in optimization, ACM Trans. Program. Language Syst., 1987, vol. 9, no. 3, pp. 319\u2013349. \u00a0https:\/\/doi.org\/10.1145\/24039.24041","journal-title":"ACM Trans. Program. Language Syst."},{"key":"7535_CR19","unstructured":"Bakanov, V.M., Software tools for analyzing the information structure of algorithms based on their information graphs, Parallel\u2019nye vychislitel\u2019nye tekhnologii (PaVT\u20192016) (Parallel Computing Technologies (PCT\u20192016)), Chelyabinsk: Yuzhno-Ural. Gos. Univ., 2016, pp. 432\u2013441."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411622070239.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411622070239","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411622070239.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:04:24Z","timestamp":1773612264000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411622070239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":19,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["7535"],"URL":"https:\/\/doi.org\/10.3103\/s0146411622070239","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12]]},"assertion":[{"value":"7 May 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 May 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 June 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}