{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:01:54Z","timestamp":1775055714945,"version":"3.50.1"},"reference-count":18,"publisher":"Pleiades Publishing Ltd","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":["Program Comput Soft"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1134\/s036176881001007x","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T05:00:06Z","timestamp":1265605206000},"page":"48-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Interpretable program specification language"],"prefix":"10.1134","volume":"36","author":[{"given":"F. A.","family":"Novikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. B.","family":"Novoseltsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,2,9]]},"reference":[{"key":"6054_CR1","unstructured":"Czarnecki, K. and Eisenecker, U. W., Generative Programming: Methods, Tools, and Applications, Addison Wesley, 2000. Translated under the title Porozhdayushchee programmirovanie: metody, instrumenty, primenenie, St. Petersburg: Piter, 2005."},{"key":"6054_CR2","volume-title":"Kontseptual\u2019noe Programmirovanie","author":"E.H. Tyugu","year":"1984","unstructured":"Tyugu, E.H., Kontseptual\u2019noe Programmirovanie (Conceptual Programming), Moscow: Nauka, 1984."},{"issue":"8","key":"6054_CR3","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/872734.806929","volume":"12","author":"Z. Manna","year":"1997","unstructured":"Manna, Z. and Waldinger, R., The Automatic Synthesis of Recursive Programs, SIGPLAN Notice, 1997, vol. 12, no. 8, pp. 29\u201336.","journal-title":"SIGPLAN Notice"},{"key":"6054_CR4","volume-title":"Instrumental\u2019naya sistema programmirovaniya ES EVM (PRIZ)","author":"M.I. Kakhro","year":"1981","unstructured":"Kakhro, M.I., Kal\u2019ya, A.P., and Tyugu, E.H., Instrumental\u2019naya sistema programmirovaniya ES EVM (PRIZ) (Instrumental Programming System ES EVM (PRIZ)), Moscow: Finansy i statistika, 1981."},{"key":"6054_CR5","unstructured":"Nepeivoda, N.N., A Method of Constructing Correct Programs from Correct Subprograms, Programmirovanie, 1979, no. 1."},{"key":"6054_CR6","first-page":"207","volume-title":"Information Processing-80","author":"E.H. Tyugu","year":"1980","unstructured":"Tyugu, E.H., Towards Practical Synthesis of Programs, in Information Processing-80, Amsterdam: North-Holland, 1980, pp. 207\u2013220."},{"key":"6054_CR7","unstructured":"Babaev, I.O., Novikov, F.A., and Petrushina, T.I., Decart Language: An Input Language of SPORA System, Prikladnaya informatica, 1981, no. 1, pp. 35\u201373."},{"issue":"6","key":"6054_CR8","first-page":"1342","volume":"47","author":"V.B. Novoseltsev","year":"2006","unstructured":"Novoseltsev, V.B., A Theory of Structural Functional Models, Sib. Mat. Zh., 2006, vol. 47, no. 6, pp. 1342\u20131354.","journal-title":"Sib. Mat. Zh."},{"key":"6054_CR9","first-page":"7","volume":"2","author":"I.O. Babaev","year":"1980","unstructured":"Babaev, I.O., Lavrov, S.S., and Novikov, F.A., Specialized Software for Applied Research, Vsesoyuznaya konferentsiya \u201cMetody matematicheskoi logiki v problemakh iskusstvennogo intellekta i sistematicheskoe programmirovanie\u201d All-Union Conf. \u201cMethods of Mathematical Logic in Artificial Intelligence Problems and Systematic Programming\u201d, Abstracts, Vilnius, 1980, vol. 2, pp. 7\u201325.","journal-title":"Vsesoyuznaya konferentsiya \u201cMetody matematicheskoi logiki v problemakh iskusstvennogo intellekta i sistematicheskoe programmirovanie\u201d"},{"key":"6054_CR10","unstructured":"Novikov, F.A. and Novoseltsev, V.B., Preliminary Report on a Language of Executive Program Specifications, Programmnye produkty i sistemy, 2009, no. 2, pp. 107\u2013111."},{"key":"6054_CR11","unstructured":"Rumbaugh, J., Jacobson, I., and Booch, G., The Unified Modeling Language Reference Manual, Addison-Wesley, 2005, 2nd ed. Translated under the title UML. Klassika CS, St. Petersburg: Piter, 2006."},{"issue":"6","key":"6054_CR12","first-page":"9","volume":"25","author":"F.A. Novikov","year":"2005","unstructured":"Novikov, F.A., Visual Program Construction, Informatsionno-upravlyayushchie sistemy, 2005, vol. 25, no. 6, pp. 9\u201322.","journal-title":"Informatsionno-upravlyayushchie sistemy"},{"key":"6054_CR13","unstructured":"Novoseltsev, V.B., Formal Theory of Structural Models for Description of Information Systems and Methods of Deducibility Proof, Doctoral (Math.) Dissertation, Tomsk, 2006."},{"key":"6054_CR14","volume-title":"Structured Programming","author":"O.-J. Dahl","year":"1972","unstructured":"Dahl, O.-J., Dijkstra, E.W., and Hoare, C.A.R., Structured Programming, London: Academic, 1972. Translated under the title Strukturnoe programmirovanie, Moscow: Mir, 1975, pp. 98\u2013197."},{"issue":"3","key":"6054_CR15","first-page":"716","volume":"10","author":"E.H. Tyugu","year":"1970","unstructured":"Tyugu, E.H., Solving Problems on Computational Models, Zh. Vychisl. Mat. Mat. Fiz., 1970, vol. 10, no. 3, pp. 716\u2013733.","journal-title":"Zh. Vychisl. Mat. Mat. Fiz."},{"key":"6054_CR16","unstructured":"Agamirzyan, I.R., Babaev, I.O., et al., Software Tool System for Automatic Synthesis of Programs SPORA, GosFAP USSR no. 50860000399, 1986."},{"key":"6054_CR17","unstructured":"Dikovskii, A.Ya., Evaluation of Algorithms Related to Computational Models, Tezisy dokladov vsesoyuznoi konferentsii \u201cPrimenenie metodov matematicheskoi logiki\u201d (All-Union Conf. \u201cApplication of Mathematical Logic Methods\u201d (abstracts)), Tallin, 1983, pp. 42\u201351."},{"key":"6054_CR18","doi-asserted-by":"crossref","unstructured":"Novoseltsev, V.B., Synthesis of Parallel Recursive Programs in Structural Functional Models, Programmirovanie, 2007, no. 5, pp. 75\u201380 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 5, pp. 293\u2013298].","DOI":"10.1134\/S0361768807050052"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881001007X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S036176881001007X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881001007X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881001007X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:12:09Z","timestamp":1775009529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S036176881001007X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["6054"],"URL":"https:\/\/doi.org\/10.1134\/s036176881001007x","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]},"assertion":[{"value":"10 April 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 February 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}