{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:24:32Z","timestamp":1775013872358,"version":"3.50.1"},"reference-count":24,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1134\/s0361768807040019","type":"journal-article","created":{"date-parts":[[2007,7,26]],"date-time":"2007-07-26T07:26:31Z","timestamp":1185434791000},"page":"181-194","source":"Crossref","is-referenced-by-count":0,"title":["A formal model of a system for automated program parallelization"],"prefix":"10.1134","volume":"33","author":[{"given":"V. A.","family":"Vasenin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. N.","family":"Vodomerov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"4001_CR1","first-page":"15","volume-title":"ITsMS IPS RAN: retrospektivnyi obzor issledovanii za 1994\u20132004 gody. Programmnye sistemy: teoriya i prilozheniya","author":"S.M. Abramov","year":"2004","unstructured":"Abramov, S.M., ITsMS IPS RAN: retrospektivnyi obzor issledovanii za 1994\u20132004 gody. Programmnye sistemy: teoriya i prilozheniya (ITsMS IPS RAN: Retrospective Survey of Researches in 1994\u20132004. Program Systems: Theory and Applications), Pereslavl\u2019-Zalesskii: IPS RAN, 2004, pp. 15\u201358."},{"key":"4001_CR2","unstructured":"Abramov, S.M., Adamovich, A.I., Inyukhin, A.V., Moskovsky, A.A., Roganov, A.V., Shevchuk, Yu.A., and Shevchuk, E.V., T-System with Open Architecture, Trudy mezhdunarodnoi nauchnoi konferentsii \u201cSuperkomp\u2019yuternye sistemy i ikh primenenie SSA\u20192004\u201d (Proc. of the Int. Sci. Conf. \u201cSupercomputer Systems and Their Use SSA\u20192004\u201d), Minsk, 2004, pp. 18\u201322."},{"key":"4001_CR3","first-page":"79","volume-title":"Nauchnyi servis v seti Internet: tekhnologii raspredelennykh vychislenii: Trudy Vserossiiskoi nauchnoi konferentsii","author":"S.M. Abramov","year":"2005","unstructured":"Abramov, S.M., Moskovsky, A.A., Roganov, V.A., Shevchuk, Yu.V., Shevchuk, E.V., Paramonov, N.N., and Chizh, O.P., Open TS: Architecture and Implementation of the Environment for the Dynamic Parallelization of Computation, Nauchnyi servis v seti Internet: tekhnologii raspredelennykh vychislenii: Trudy Vserossiiskoi nauchnoi konferentsii (Scientific Service in Internet: Technologies of Distributed Computations: Proc. of All-Russian Sci. Conf.), (Novorossiisk, 2005), Moscow: Mos. Gos. Univ., 2005, pp. 79\u201381."},{"key":"4001_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11535294_26","volume":"3603","author":"S. Abramov","year":"2005","unstructured":"Abramov, S., Adamovich, A., Inyukhin, A., Moskovsky, A., Roganov, V., Shevchuk, E., Shevchuk, Yu., and Vodomerov, A., OpenTS: An Outline of Dynamic Parallelization Approach, Lecture Notes in Computer Science (PaCT 2005), Vol. 3603, Springer, pp. 303\u2013312.","journal-title":"Lecture Notes in Computer Science"},{"key":"4001_CR5","unstructured":"Vasenin, V.A. and Roganov, V.A., GRACE: Distributed Applications on the Internet, Otkrytye sistemy, 2001, no. 5\u20136, pp. 29\u201333."},{"key":"4001_CR6","first-page":"261","volume-title":"Trudy vserossiiskoi nauchnoi konferentsii \u201cVysokoproizvoditel\u2019nye vychisleniya i ikh prilozheniya\u201d","author":"S.M. Abramov","year":"2000","unstructured":"Abramov, S.M., Vasenin, V.A., Mamchits, E.E., Roganov, V.A., and Slepukhin, A.F., Dynamic Program Parallelization on the Basis of Parallel Reduction of Graphs. Architecture of Software for a New Version of the T-System, Trudy vserossiiskoi nauchnoi konferentsii \u201cVysokoproizvoditel\u2019nye vychisleniya i ikh prilozheniya\u201d (Proc. of All-Russian Sci. Conf. \u201cHigh-Performance Computations and Their Applications\u201d) (Chernogolovka, 2000), Moscow: Mos. Gos. Univ., 2000, pp. 261\u2013265."},{"key":"4001_CR7","unstructured":"Abramov, S.M., Adamovich, A.I., and Kovalenko, M.R., T-System\u2014Environment Supporting Automatic Dynamic Parallelization of Programs: An Example of the Implementation of an Image Rendering Algorithm Based on the Tracing Method. Programmirovanie, 1999, no. 2, pp. 100\u2013107 [Programming Comput. Software (Engl. Transl.), 1999, vol. 25, no. 2, pp. 100\u2013107]."},{"key":"4001_CR8","doi-asserted-by":"crossref","unstructured":"Baker, H.G. and Hewitt, C., The Incremental Garbage Collection of Processes, Proc. of Symp. on AI an Programming Languages, 1977, pp. 55\u201359.","DOI":"10.1145\/800228.806932"},{"key":"4001_CR9","doi-asserted-by":"crossref","unstructured":"Halstead, R.H., Jr., Implementation of MultiLisp: Lisp on MultiProcessor, Proc. of the 1984 ACM Symp. on LISP and Functional Programming, Austin, Texas, 1984, pp. 9\u201317.","DOI":"10.1145\/800055.802017"},{"key":"4001_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C. and Felleisen, M., The Semantics of Future and Its Use in Program Optimization, Proc. of the 22nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, San-Francisco, 1995, pp. 209\u2013220.","DOI":"10.1145\/199448.199484"},{"key":"4001_CR11","doi-asserted-by":"crossref","unstructured":"Trinder, P.W., Hammond, K., Mattson, J.S., Jr., Partridge, A.S., and Peyton Jones, S., GUM: A Portable Implementation of Haskell, Proc. of SIGPLAN Conf. on Programming Language Design and Implementation, Philadelphia, 1996, pp. 79\u201388.","DOI":"10.1145\/231379.231392"},{"key":"4001_CR12","doi-asserted-by":"crossref","unstructured":"Moreau, L., DeRoure, D., and Foster, I., NeXeme: A Distributed Scheme Based on Nexus, Lecture Notes in Computer Science (Proc. of Third Int. Europar Conf. (EURO-PAR\u201997)), vol. 1300, pp. 581\u2013590.","DOI":"10.1007\/BFb0002787"},{"key":"4001_CR13","unstructured":"Moreau, L., The Semantics of Future in the Presence of First-Class Continuations and Side-effects, Tech. Report M95\/3, Univ. of Southampton, 1995."},{"key":"4001_CR14","doi-asserted-by":"crossref","unstructured":"Frigo, M., Leiserson, C.E., and Randall, K.H., The Implementation of the Cilk-5 Multithreaded Language, 1998 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), Montreal, 1998, pp. 212\u2013223.","DOI":"10.1145\/277650.277725"},{"key":"4001_CR15","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/HCW.1997.581408","volume-title":"Proc. of 6th Heterogeneous Computing Workshop (HCW97)","author":"D. Arapov","year":"1997","unstructured":"Arapov, D., Kalinov, A., Lastovetsky, A., Leobvskih, I., and Lewis, T., A Programming Environment for Heterogeneous Distributed Memory Machines, Proc. of 6th Heterogeneous Computing Workshop (HCW97), IEEE Computer Society, Geneva, 1997, pp. 32\u201345."},{"key":"4001_CR16","volume-title":"Tech. Report","author":"A. Lastovetsky","year":"1994","unstructured":"Lastovetsky, A., The mpC Programming Language Specification, Tech. Report, Moscow: Institute for System Programming, Russian Academy of Sciences, 1994."},{"key":"4001_CR17","unstructured":"Konovalov, N.A., Kryukov, V.A., Pogrebtsov, A.A., and Sazanov, Yu.L., C-DVM\u2014A Language for the Development of Portable Parallel Programs, Programmirovanie, 1999, no. 1, pp. 20\u201328 [Programming Comput. Software (Engl. Transl.), 1999, vol. 25, no. 1, pp. 46\u201355]."},{"key":"4001_CR18","unstructured":"Konovalov, N.A. and Kryukov, V.A., Parallel Programs for Computational Clusters and Networks, Otkrytye sistemy, 2002, no. 3, pp. 12\u201318."},{"key":"4001_CR19","unstructured":"Andrews, G., Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 1999."},{"key":"4001_CR20","first-page":"71","volume":"7","author":"A.N. Vodomerov","year":"2006","unstructured":"Vodomerov, A.N., Construction of a Formal Model of the T-System and Study of its Correctness, Vychislitel\u2019nye Metody Programmirovanie, 2006, vol. 7, pp. 71\u201378.","journal-title":"Vychislitel\u2019nye Metody Programmirovanie"},{"key":"4001_CR21","first-page":"78","volume-title":"Trudy IX mezhdunarodnoi konferentsii \u201cProblemy funktsionirovaniya informatsionnykh setei\u201d PFIS-2006","author":"A.N. Vodomerov","year":"2006","unstructured":"Vodomerov, A.N., Konev, I.M., and Stepanov, E.A., Some Methods of Organization of High-Performance Computations in Distributed Environment, Trudy IX mezhdunarodnoi konferentsii \u201cProblemy funktsionirovaniya informatsionnykh setei\u201d PFIS-2006 (Proc. of the 9th. Int. Conf. \u201cProblems of Functioning of Information Networks\u201d), 2006, IVMiMG SO RAN, Novosibirsk, pp. 78\u201382."},{"key":"4001_CR22","unstructured":"Aleksandresku, A., Modern C++ Design: Generic Programming and Design Patterns Applied, Addison-Wesley, 2001."},{"key":"4001_CR23","first-page":"183","volume-title":"Trudy mezhdunarodnoi konferentsii \u201cProgrammnye sistemy: teoriya i prilozheniya\u201d","author":"A.A. Moskovskii","year":"2006","unstructured":"Moskovskii, A.A., T-Sim\u2014A Library for Parallel Computations on the Basis of T-System Approach, Trudy mezhdunarodnoi konferentsii \u201cProgrammnye sistemy: teoriya i prilozheniya\u201d (Proc. of Int. Conf. \u201cProgram Systems: Theory and Applications) (Pereslavl\u2019-Zalesskii, 2006), Moscow: Nauka-Fizmatlit, 2006, vol. 1, pp. 183\u2013193."},{"key":"4001_CR24","volume-title":"Cand. Sci. (Phys.-Math.) Dissertation","author":"A.V. Inyukhin","year":"2007","unstructured":"Inyukhin, A.V., Mathematical and Program Support of Computational Systems with Dynamic Parallelism, Cand. Sci. (Phys.-Math.) Dissertation, Moscow: Moscow State Univ., 2007."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807040019.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807040019","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807040019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807040019.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:13:08Z","timestamp":1775009588000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807040019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["4001"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807040019","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}