{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:51:33Z","timestamp":1773654693601,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540620648","type":"print"},{"value":"9783540496373","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:33:10Z","timestamp":1330295590000},"page":"227-248","source":"Crossref","is-referenced-by-count":12,"title":["Supercompilation: Techniques and results"],"prefix":"10.1007","author":[{"given":"Valentin F.","family":"Turchin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"20_CR1","volume-title":"Metavychisleniya i ikh Prilozhenija","author":"S.M. Abramov","year":"1995","unstructured":"S.M. Abramov. Metavychisleniya i ikh Prilozhenija (Metacomputation and its Applications, in Russian) Nauka, Moscow, 1995."},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BF00271642","volume":"21","author":"M.A. Bulyonkov","year":"1984","unstructured":"M.A. Bulyonkov. Polyvariant mixed computation for analyzer programs, Acta Informatica, 21, pp. 473\u201384, 1984.","journal-title":"Acta Informatica"},{"key":"20_CR3","first-page":"21","volume":"5","author":"A.P. Ershov","year":"1977","unstructured":"A.P. Ershov. On the essence of compilation, Programmirovanie (5):21\u201339, 1977 (in Russian). See translation in: E.J.Neuhold, ed., Formal description of Programming Concepts pp 391\u2013420, North-Holland, 1978.","journal-title":"Programmirovanie"},{"key":"20_CR4","unstructured":"A.P. Ershov. Mixed computation in the class of recursive program schemata, Acta Cybernetica, 4(1), pp. 19\u201323, 1078"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A.P. Ershov","year":"1982","unstructured":"A.P. Ershov. Mixed computation: potential applications and problems for study, Theoretical Computer Science, 18, pp. 41\u201367, 1982","journal-title":"Theoretical Computer Science"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"A.P.Ershov. Opening Key-note Speech, in: D.Bj\u00f8rner, A.P.Ershov and N.D.Jones, ed. Partial Evaluation and Mixed Computation, North-Holland, pp.225\u2013282, 1988.","DOI":"10.1007\/BF03037131"},{"issue":"5","key":"20_CR7","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Y. Futamura. Partial evaluation of computation process \u2014 an approach to compiler compiler. Systems, Computers, Controls, 2, 5, pp. 45\u201350, 1971","journal-title":"Systems, Computers, Controls"},{"key":"20_CR8","unstructured":"Y.Futamura and K.Nogi. Generalized Partial Evaluation, in: D.Bj\u00f8rner, A.P.Ershov, N.D.Jones (eds), Partial Evaluation and Mixed Computation, Proceedings of the IFIP TC2 Workshop, pp.133\u2013151, North-Holland Publishing Co., 1988."},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"R.Gl\u00fcck and A.V.Klimov. Occam's razor in metacomputation: the notion of a perfect process tree, in: P.Cousot, M.Falaschi, G.Fil\u00e8, and Rauzy, ed. Static Analysis, LNCS vol.724, pp.112\u2013123, Springer 1993.","DOI":"10.1007\/3-540-57264-3_34"},{"key":"20_CR10","series-title":"LNCS 202","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume-title":"Rewriting Techniques and Applications","author":"N.D. Jones","year":"1985","unstructured":"N.D. Jones, P. Sestoft and H. Sondergaard. An Experiment in Partial Evaluation: The Generation of a Compiler Generator. In: Jouannaud J.-P. (Ed.) Rewriting Techniques and Applications, Dijon, France, LNCS 202, pp. 124\u2013140, Springer, 1985."},{"issue":"2","key":"20_CR11","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D.E. Knuth","year":"1977","unstructured":"D.E. Knuth, J.H. Morris, V.R. Pratt, Fast Pattern Matching in Strings, SIAM Journal of Computer, 6(2) pp. 323\u2013350, 1977.","journal-title":"SIAM Journal of Computer"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"A.P.Nemytykh, V.A.Pinchuk and V.F.Turchin. A Self-Applicable Supercompiler, in: Proc. International Seminar on Partial Evaluation at Dagstuhl, February 1996, Lecture Notes in Computer Science, Springer 1996 (to appear).","DOI":"10.1007\/3-540-61580-6_16"},{"key":"20_CR13","unstructured":"M.H.S\u00f8rensen, R.Gl\u00fcck and N.D.Jones, A positive supercompiler, Journal of Functional Programming,..."},{"key":"20_CR14","unstructured":"V.F.Turchin. Equivalent transformations of recursive functions defined in Refal (in Russian), in: Teoriya Yazykov I Metody Postroeniya Sistem Programmirovaniya (Proceedings of the Symposium), Kiev-Alushta (USSR), pp.31\u201342, 1972."},{"key":"20_CR15","volume-title":"(Basic Refal and its implementation on computers, in Russian)","author":"V.F. Turchin","year":"1977","unstructured":"V.F. Turchin et al. Bazisnyi Refal i yego realizatsiya na vychislitel'nykh mashinakh, (Basic Refal and its implementation on computers, in Russian), GOSSTROY SSSR, TsnIPIASS, Moscow, 1977."},{"key":"20_CR16","unstructured":"V.F.Turchin. The Language Refal, the Theory of Compilation and Metasystem Analysis, Courant Computer Science Report #20, New York University, 1980."},{"key":"20_CR17","first-page":"47","volume-title":"ACM Symposium on Lisp and Functional Programming","author":"V.F. Turchin","year":"1982","unstructured":"V.F. Turchin, R.M. Nirenberg and D.V. Turchin. Experiments with a supercompiler. In: ACM Symposium on Lisp and Functional Programming, ACM, New York, pp. 47\u201355, 1982."},{"key":"20_CR18","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V.F. Turchin","year":"1986","unstructured":"V.F. Turchin. The concept of a supercompiler, ACM Transactions on Programming Languages and Systems, 8, pp. 292\u2013325, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR19","unstructured":"V.F.Turchin. Refal-5, Programming Guide and Reference Manual, New England Publishing Co., 1989."},{"key":"20_CR20","unstructured":"V.F.Turchin and A.P.Nemytykh. Metavariables: Their implementation and use in Program Transformation, CCNY Technical Report CSc TR-95-012, 1995."},{"key":"20_CR21","unstructured":"V.F.Turchin and A.P.Nemytykh, A. A Self-applicable Supercompiler CCNY Technical Report CSc TR-95-010, 1995."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"V.F.Turchin. Metacomputation: Metasystem Transitions plus Supercompilation, Proc. International Seminar on Partial Evaluation at Dagstuhl, February 1996, Lecture Notes in Computer Science, Springer 1996 (to appear).","DOI":"10.1007\/3-540-61580-6_24"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"P.Wadler. Deforestation: transforming programs to eliminate trees, in: H.Ganziger (ed.) ESOP'88, Lecture Notes in Computer Science, vol.300, pp.344\u2013358, Springer, 1988.","DOI":"10.1007\/3-540-19027-9_23"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:45Z","timestamp":1605647505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}