{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:28Z","timestamp":1775053288316,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642297083","type":"print"},{"value":"9783642297090","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_19","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"210-226","source":"Crossref","is-referenced-by-count":4,"title":["Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions"],"prefix":"10.1007","author":[{"given":"Ilya","family":"Klyuchnikov","sequence":"first","affiliation":[]},{"given":"Sergei A.","family":"Romanenko","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Bolingbroke, M., Peyton Jones, S.L.: Improving supercompilation: tag-bags, rollback, speculation, normalisation, and generalisation (2011) (Submitted to ICFP 2011)"},{"issue":"5","key":"19_CR2","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y.: Partial evaluation of computation process \u2013 an approach to a compiler-compiler. Systems, Computers, Controls\u00a02(5), 45\u201350 (1971)","journal-title":"Systems, Computers, Controls"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/1480945.1480954","volume-title":"Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2009","author":"R. Gl\u00fcck","year":"2009","unstructured":"Gl\u00fcck, R.: Is there a fourth Futamura projection? In: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2009, pp. 51\u201360. ACM, New York (2009)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/1244381.1244391","volume-title":"Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"G.W. Hamilton","year":"2007","unstructured":"Hamilton, G.W.: Distillation: extracting the essence of programs. In: Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 61\u201370. ACM Press, New York (2007)"},{"key":"19_CR5","unstructured":"Hamilton, G.W.: A graph-based definition of distillation. In: Second International Workshop on Metacomputation in Russia (2010)"},{"key":"19_CR6","unstructured":"Hamilton, G.W., Kabir, M.H.: Constructing programs from metasystem transition proofs. In: Proceedings of the First International Workshop on Metacomputation in Russia (2008)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Jonsson, P.A.: Positive supercompilation for a higher-order call-by-value language. Lule\u00e5 University of Technology (2008)","DOI":"10.1145\/1480881.1480916"},{"key":"19_CR8","unstructured":"Klimov, A.V.: A program specialization relation based on supercompilation and its properties. In: Proceedings of the First International Workshop on Metacomputation in Russia, pp. 54\u201378. Ailamazyan University of Pereslavl (2008)"},{"key":"19_CR9","unstructured":"Klyuchnikov, I.: Supercompiler HOSC 1.0: under the hood. Preprint\u00a063, Keldysh Institute of Applied Mathematics, Moscow (2009)"},{"key":"19_CR10","unstructured":"Klyuchnikov, I.: Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting. Preprint\u00a062, Keldysh Institute of Applied Mathematics (2010)"},{"key":"19_CR11","unstructured":"Klyuchnikov, I.: Supercompiler HOSC: proof of correctness. Preprint\u00a031, Keldysh Institute of Applied Mathematics, Moscow (2010)"},{"key":"19_CR12","unstructured":"Klyuchnikov, I.: Towards effective two-level supercompilation. Preprint\u00a081, Keldysh Institute of Applied Mathematics (2010)"},{"key":"19_CR13","unstructured":"Klyuchnikov, I.: The ideas and methods of supercompilation. Practice of Functional Programming\u00a07 (2011) (in Russian)"},{"key":"19_CR14","unstructured":"Klyuchnikov, I., Romanenko, S.: SPSC: a simple supercompiler in Scala. In: PU 2009 (International Workshop on Program Understanding) (2009)"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-11486-1_17","volume-title":"Perspectives of Systems Informatics","author":"I. Klyuchnikov","year":"2010","unstructured":"Klyuchnikov, I., Romanenko, S.: Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol.\u00a05947, pp. 193\u2013205. Springer, Heidelberg (2010)"},{"key":"19_CR16","unstructured":"Klyuchnikov, I., Romanenko, S.: Towards higher-level supercompilation. In: Second International Workshop on Metacomputation in Russia (2010)"},{"key":"19_CR17","unstructured":"Lisitsa, A.P., Webster, M.: Supercompilation for equivalence testing in metamorphic computer viruses detection. In: Proceedings of the First International Workshop on Metacomputation in Russia (2008)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Mitchell, N.: Rethinking supercompilation. In: ICFP 2010 (2010)","DOI":"10.1145\/1863543.1863588"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-85373-2_9","volume-title":"Implementation and Application of Functional Languages","author":"N. Mitchell","year":"2008","unstructured":"Mitchell, N., Runciman, C.: A Supercompiler for Core Haskell. In: Chitil, O., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) IFL 2007. LNCS, vol.\u00a05083, pp. 147\u2013164. Springer, Heidelberg (2008)"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/3-540-61580-6_16","volume-title":"Partial Evaluation","author":"A.P. Nemytykh","year":"1996","unstructured":"Nemytykh, A.P., Pinchuk, V.A., Turchin, V.F.: A Self-Applicable Supercompiler. In: Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01110, pp. 322\u2013337. Springer, Heidelberg (1996)"},{"issue":"2","key":"19_CR21","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/227699.227716","volume":"18","author":"D. Sands","year":"1996","unstructured":"Sands, D.: Total correctness by local improvement in the transformation of functional programs. ACM Trans. Program. Lang. Syst.\u00a018(2), 175\u2013234 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"6","key":"19_CR22","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1017\/S0956796800002008","volume":"6","author":"M.H. S\u00f8rensen","year":"1993","unstructured":"S\u00f8rensen, M.H., Gl\u00fcck, R., Jones, N.D.: A positive supercompiler. Journal of Functional Programming\u00a06(6), 811\u2013838 (1993)","journal-title":"Journal of Functional Programming"},{"key":"19_CR23","unstructured":"S\u00f8rensen, M.H.: Turchin\u2019s supercompiler revisited: an operational theory of positive information propagation. Master\u2019s thesis, K\u00f8benhavns Universitet, Datalogisk Institute (1994)"},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/1594834.1480915","volume":"44","author":"R. Tate","year":"2009","unstructured":"Tate, R., Stepp, M., Tatlock, Z., Lerner, S.: Equality saturation: a new approach to optimization. SIGPLAN Not.\u00a044, 264\u2013276 (2009)","journal-title":"SIGPLAN Not."},{"key":"19_CR25","volume-title":"The phenomenon of science. A cybernetic approach to human evolution","author":"V.F. Turchin","year":"1977","unstructured":"Turchin, V.F.: The phenomenon of science. A cybernetic approach to human evolution. Columbia University Press, New York (1977)"},{"key":"19_CR26","unstructured":"Turchin, V.: The Language Refal: The Theory of Compilation and Metasystem Analysis. Department of Computer Science, Courant Institute of Mathematical Sciences, New York University (1980)"},{"issue":"3","key":"19_CR27","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V.F. Turchin","year":"1986","unstructured":"Turchin, V.F.: The concept of a supercompiler. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a08(3), 292\u2013325 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"03","key":"19_CR28","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1017\/S0956796800000757","volume":"3","author":"V.F. Turchin","year":"1993","unstructured":"Turchin, V.F.: Program transformation with metasystem transitions. Journal of Functional Programming\u00a03(03), 283\u2013313 (1993)","journal-title":"Journal of Functional Programming"},{"key":"19_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-61580-6_24","volume-title":"Partial Evaluation","author":"V. Turchin","year":"1996","unstructured":"Turchin, V.: Metacomputation: Metasystem Transitions Plus Supercompilation. In: Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01110, pp. 481\u2013509. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T18:13:39Z","timestamp":1687457619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}