{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T16:51:23Z","timestamp":1771951883462,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1984,12]]},"DOI":"10.1007\/bf00271642","type":"journal-article","created":{"date-parts":[[2004,9,30]],"date-time":"2004-09-30T06:51:48Z","timestamp":1096527108000},"page":"473-484","source":"Crossref","is-referenced-by-count":52,"title":["Polyvariant mixed computation for analyzer programs"],"prefix":"10.1007","volume":"21","author":[{"given":"M. A.","family":"Bulyonkov","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/356827.356831","volume":"12","author":"R.S. Bird","year":"1980","unstructured":"Bird, R.S.: Tabulation techniques for recursive programs. ACM Comput. Surveys 12, 403?418 (1980)","journal-title":"ACM Comput. Surveys"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A.P. Ershov","year":"1982","unstructured":"Ershov, A.P.: Mixed computation: potential applications and problems for study. Theor. Comput. Sci. 18, 41?67 (1982)","journal-title":"Theor. Comput. Sci."},{"key":"CR3","series-title":"Lecture Notes in Computer Science, Vol. 53","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/3-540-08353-7_128","volume-title":"Mathematical foundations of computer science, 1977","author":"A.P. Ershov","year":"1977","unstructured":"Ershov, A.P., Itkin, V.E.: Correctness of mixed computation in Algol-like programs. In: Mathematical foundations of computer science, 1977. J. Gruska (ed.). Lecture Notes in Computer Science, Vol. 53, pp. 59?77. Berlin-Heidelberg-New York: Springer 1977"},{"key":"CR4","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y.: Partial evaluation of computation process ? an approach to a compiler-compiler. Systems ? Computers ? Controls 2, 45?50 (1971)","journal-title":"Systems ? Computers ? Controls"},{"key":"CR5","series-title":"147","first-page":"1","volume-title":"RIMS symposia of software science and engineering. Kyoto 1982 proceedings","author":"Y. Futamura","year":"1983","unstructured":"Futamura, Y.: Partial computation of programs. In: RIMS symposia of software science and engineering. Kyoto 1982 proceedings. E. Goto et al. (eds.), Lecture Notes in Computer Sciences, Vol. 147, pp. 1?35. Berlin-Heidelberg-New York: Springer 1983"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/358886.358892","volume":"23","author":"D. Harel","year":"1980","unstructured":"Harel, D.: On folk theorems. Comm. ACM 23, 379?389 (1980)","journal-title":"Comm. ACM"},{"key":"CR7","first-page":"17","volume-title":"Program optimization and transformation","author":"V.E. Itkin","year":"1983","unstructured":"Itkin, V.E.: On partial and mixed computation. In: Program optimization and transformation. A.P. Ershov (ed.). Part I, pp. 17?30. Novosibirsk: Computing Center of the Siberian Division of the Academy of Sciences 1983 (in Russian)"},{"key":"CR8","first-page":"69","volume-title":"Translation and program models","author":"B.N. Ostrovsky","year":"1980","unstructured":"Ostrovsky, B.N.: Obtaining language-oriented parsers systematically by mixed computation. In: Translation and program models. I.V. Pottosin (ed.), pp. 69?80. Novosibirsk: Computing Center of the Siberian Division of the Academy of Sciences 1980 (in Russian)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271642.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00271642\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00271642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T15:22:21Z","timestamp":1554304941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00271642"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":8,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF00271642"],"URL":"https:\/\/doi.org\/10.1007\/bf00271642","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}