{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:26Z","timestamp":1725663266672},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083535"},{"type":"electronic","value":"9783540372851"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08353-7_151","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:24:36Z","timestamp":1330187076000},"page":"315-323","source":"Crossref","is-referenced-by-count":2,"title":["Schematology in a MJ I\/T I-language OPT imizer"],"prefix":"10.1007","author":[{"given":"V. N.","family":"Kasyanov","sequence":"first","affiliation":[]},{"given":"S. B.","family":"Pokrovsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"29_CR1","volume-title":"Annual Review in Automatic Programming\", Vol. 5","author":"F. E. Allen","year":"1969","unstructured":"Allen, F.E. Program optimization. \"Annual Review in Automatic Programming\", Vol. 5, Pergamon Press, N.Y. 1969."},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Constable, R.L., Gries, D. On classes of program schemata. \"SIAM Journal of Computing\", Vol. 1, No. 1 (1972).","DOI":"10.1137\/0201006"},{"key":"29_CR3","unstructured":"Ershov, A.P. A multilanguage programming system oriented to language description and universal optimization algorithms. In: \"ALGOL 68 Implementation\", J.R.L.Peck ed., North-Holland Publ. Co. 1971."},{"key":"29_CR4","volume-title":"Proceed. IFIP Congress '71","author":"A. P. Ershov","year":"1971","unstructured":"Ershov, A.P. Theory of program schemata. \"Proceed. IFIP Congress '71\" (Invited Papers), North-Holland Publ. Co. Amsterdam 1971."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Kasyanov, V.N., Trakhtenbrot, M.B. Program structure analysis in global optimization. \"Lecture Notes in Computer Science\", 47, Springer-Verlag 1977.","DOI":"10.1007\/3-540-08065-1_6"},{"key":"29_CR6","unstructured":"Pokrovsky, S.B. Semantic unification in a multi-language compiler. Ibid."},{"key":"29_CR7","unstructured":"Sabelfeld, V.K. Procedure implementation in the multi-language translator. Ibid."},{"key":"29_CR8","first-page":"1","volume":"3","author":"A. Wijngaarden Van","year":"1975","unstructured":"Van Wijngaarden, A. et al. Revised report on the algorithmic language ALGOL 68. \"Acta Informatica\", Vol. 3, Fasc. 1\u20133 (1975).","journal-title":"Acta Informatica"},{"key":"29_CR9","unstructured":"\u041a\u0430\u0441\u0411\u044f\u043d\u043e\u0432, \u0412.\u041d. \u041e \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u0438 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u043e\u0432 \u0438 \u0440\u0435\u0437\u0443\u043b\u0411\u0442\u0430\u0442\u043e\u0432 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u0432 \u0441\u0445\u0435\u043c\u0430\u0445 \u0441 \u043a\u043e\u0441\u0432\u0435\u043d\u043d\u043e\u0439 \u0430\u0434\u0440\u0435\u0441\u0430\u0446\u0438\u0435\u0439. \"\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\", No. I, 1976."},{"issue":"2","key":"29_CR10","first-page":"298","volume":"5","author":"\u0412. \u0412. \u0412. \u041c\u0430\u0440\u0442\u044b\u043d\u044e\u043a","year":"1965","unstructured":"\u041c\u0430\u0440\u0442\u044b\u043d\u044e\u043a, \u0412.\u0412. \u041e\u0431 \u0430\u043d\u0430\u043b\u0438\u0437\u0435 \u0433\u0440\u0430\u0444\u0430 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0434\u043b\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043d\u043e\u0439 \u0441\u0445\u0435\u043c\u044b. \"\u0416\u0443\u0440\u043d\u0430\u043b \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044a\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0444\u0438\u0437\u0438\u043a\u0438\", \u0442. 5, No. 2 (1965), \u0441\u0442\u0440. 298\u2013310.","journal-title":"\u0416\u0443\u0440\u043d\u0430\u043b \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044a\u043d\u043e\u0439 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0438 \u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0444\u0438\u0437\u0438\u043a\u0438"},{"key":"29_CR11","unstructured":"\u041c\u0430\u0440\u0442\u044b\u043d\u044e\u043a, \u0412.\u0412. \u041e\u044a \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u0438 \u043f\u043e\u0440\u044f\u0434\u043a\u0430 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043e\u0432 \u0432 \u043e\u043f\u0435\u0440\u0430\u0442\u043e\u0440\u043d\u043e\u0439 \u0441\u0445\u0435\u043c\u0435. \u0412 \u0441\u0431. \"\u0426\u0438\u0444\u0440\u043e\u0432\u0430\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044a\u043d\u0430\u044f \u0442\u0435\u0445\u043d\u0438\u043a\u0430 \u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\", \u0432\u044b\u043f. 2, \u041c., \u0421\u043e\u0432. \u0440\u0430\u0434\u0438\u043e, 1967."},{"key":"29_CR12","unstructured":"\u041f\u043e\u043a\u0440\u043e\u0432\u0441\u043a\u0438\u0439, \u0421.\u0411. \u0410\u0441\u0438\u043d\u0445\u0440\u043e\u043d\u043d\u043e\u0441\u0442\u044a \u0438 \u043b\u043e\u043a\u0430\u043b\u044a\u043d\u044b\u0435 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438. \"\u0421\u0438\u0441\u0442\u0435\u043c\u043d\u043e\u0435 \u0438 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\" (\u0422\u0440\u0443\u0434\u044b \u0412\u0441\u0435\u0441\u043e\u044e\u0437\u043d\u043e\u0439 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0438), \u0442. I, \u041a\u0413\u0423, \u041a\u0438\u0449\u0438\u043d\u0435\u0432, 1974."},{"key":"29_CR13","unstructured":"\u041f\u043e\u0442\u0442\u043e\u0441\u0438\u043d, \u0418.\u0412. \u0413\u043b\u043e\u0431\u0430\u043b\u044a\u043d\u0430\u044f \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u044f: \u043f\u0440\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043f\u043e\u0434\u0445\u043e\u0434. \"\u0422\u0440\u0443\u0434\u044b \u0441\u0438\u043c\u043f\u043e\u0437\u0438\u0443\u043c\u0430 \u043f\u043e \u043c\u0435\u0442\u043e\u0434\u0430\u043c \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u043d\u043e\u0432\u044b\u0445 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u044f\u0437\u044b\u043a\u043e\u0432\", \u0442. I, \u041d\u043e\u0432\u043e\u0441\u0438\u0431\u0438\u0440\u0441\u043a, 1975."},{"key":"29_CR14","unstructured":"\u041f\u043e\u0442\u0442\u043e\u0441\u0438\u043d, \u0418.\u0412. \u041a \u0437\u0430\u0434\u0430\u0447\u0435 \u0447\u0438\u0441\u0442\u043a\u0438 \u0446\u0438\u043a\u043b\u043e\u0432. \u0412 \u0441\u0431. \"\u0426\u0438\u0444\u0440\u043e\u0432\u0430\u044f \u0432\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u0435\u043b\u044a\u043d\u0430\u044f \u0442\u0435\u0445\u043d\u0438\u043a\u0430 \u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435\", \u0432\u044b\u043f. 4, \u0421\u043e\u0432. \u0440\u0430\u0434\u0438\u043e, \u041c., 1968."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1977"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08353-7_151.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:13Z","timestamp":1619556733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08353-7_151"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083535","9783540372851"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-08353-7_151","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}