{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:22:22Z","timestamp":1775013742533,"version":"3.50.1"},"reference-count":42,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"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":[[2012,9]]},"DOI":"10.1134\/s0361768812050027","type":"journal-article","created":{"date-parts":[[2012,9,19]],"date-time":"2012-09-19T22:50:33Z","timestamp":1348095033000},"page":"231-244","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Higher-level supercompilation as a metasystem transition"],"prefix":"10.1134","volume":"38","author":[{"given":"I. G.","family":"Klyuchnikov","sequence":"first","affiliation":[]},{"given":"S. A.","family":"Romanenko","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2012,9,21]]},"reference":[{"key":"6151_CR1","volume-title":"The Language Refal: The Theory of Compilation and Metasystem Analysis","author":"V.F. Turchin","year":"1980","unstructured":"Turchin, V.F., The Language Refal: The Theory of Compilation and Metasystem Analysis, New York: New York Univ., Department of Computer Sci., Courant Inst. of Math. Sci., 1980."},{"issue":"3","key":"6151_CR2","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 Trans. Program. Lang. Syst., 1986, vol. 8, no. 3, pp. 292\u2013325.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6151_CR3","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-61580-6_24","volume":"1110","author":"V. Turchin","year":"1996","unstructured":"Turchin, V., Metacomputation: Metasystem Transitions plus Supercompilation Partial Evaluation, Lect. Notes Comput. Sci., 1996, vol. 1110, pp. 481\u2013509.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6151_CR4","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, New York: Columbia Univ. Press, 1977."},{"issue":"3","key":"6151_CR5","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1017\/S0956796800000757","volume":"3","author":"V. Turchin","year":"1993","unstructured":"Turchin, V., Program Transformation with Meta-System Transitions, J. Funct. Program., 1993, vol. 3, no. 3, pp. 283\u2013313.","journal-title":"J. Funct. Program."},{"issue":"2","key":"6151_CR6","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/954063.954069","volume":"14","author":"V.F. Turchin","year":"1979","unstructured":"Turchin, V.F., A Supercompiler System Based on the Language REFAL, SIGPLAN Not., 1979, vol. 14, no. 2, pp. 46\u201354.","journal-title":"SIGPLAN Not."},{"key":"6151_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/800068.802134","volume-title":"LFP\u201982: Proc. 1982 ACM Symp. on LISP and Functional Programming","author":"V.F. Turchin","year":"1982","unstructured":"Turchin, V.F., Nirenberg, R.M., and Turchin, D.V., Experiments with a Supercompiler, LFP\u201982: Proc. 1982 ACM Symp. on LISP and Functional Programming, New York, NY, USA: ACM, 1982, pp. 47\u201355."},{"key":"6151_CR8","doi-asserted-by":"crossref","unstructured":"Nemytykh, A.P. and Pinchuk, V.A., Program Transformation with Metasystem Transitions: Experiments with a Supercompiler, Lect. Notes Comput. Sci., 1996, pp. 249\u2013260.","DOI":"10.1007\/3-540-62064-8_21"},{"key":"6151_CR9","volume-title":"Master\u2019s Thesis","author":"M.H. S\u00f8rensen","year":"1994","unstructured":"S\u00f8rensen, M.H., Turchin\u2019s Supercompiler Revisited: An Operational Theory of Positive Information Propagation, Master\u2019s Thesis, Copenhagen: Dept. of Computer Science, Univ. of Copenhagen, 1994."},{"issue":"6","key":"6151_CR10","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1017\/S0956796800002008","volume":"6","author":"M.H. S\u00f8rensen","year":"1996","unstructured":"S\u00f8rensen, M.H., Gl\u00fcck, R., and Jones, N.D., A Positive Supercompiler, J. Funct. Program., 1996, vol. 6, no. 6, pp. 811\u2013838.","journal-title":"J. Funct. Program."},{"key":"6151_CR11","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-46562-6_6","volume":"1755","author":"N.D. Jones","year":"2000","unstructured":"Jones, N.D., The Essence of Program Transformation by Partial Evaluation and Driving, PSI\u201999, Lect. Notes Comput. Sci., 2000, vol. 1755, pp. 62\u201379.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6151_CR12","unstructured":"Klimov, A., An Approach to Supercompilation for Object-Oriented Languages: the Java Supercompiler Case Study, First International Workshop on Metacomputation in Russia, 2008."},{"key":"6151_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/1244381.1244391","volume-title":"Proc. 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, Proc. of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, New York, NY, USA: ACM, 2007, pp. 61\u201370."},{"key":"6151_CR14","unstructured":"Hamilton, G.W., A Graph-Based Definition of Distillation, Second International Workshop on Metacomputation in Russia, 2010."},{"key":"6151_CR15","unstructured":"Klyuchnikov, I. and Romanenko, S., Towards HigherLevel Supercompilation, Second International Workshop on Metacomputation in Russia, 2010."},{"key":"6151_CR16","unstructured":"Klyuchnikov, I., Towards Effective Two-Level Supercompilation, Preprint of Keldysh Inst. of Applied Mathematics, Russ. Acad. Sci., Moscow, 2010, no. 81."},{"key":"6151_CR17","doi-asserted-by":"crossref","unstructured":"Klyuchnikov, I. and Romanenko, S., Multi-Result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions, PSI 2011, 2011.","DOI":"10.1007\/978-3-642-29709-0_19"},{"key":"6151_CR18","doi-asserted-by":"crossref","unstructured":"Klimov, A., Multi-Result Supercompilation in Action: Solving Coverability Problem for Monotonic Counter Systems by Gradual Specialization, International Workshop on Program Understanding (PU 2011), 2011.","DOI":"10.1007\/978-3-642-29709-0_18"},{"issue":"1","key":"6151_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1134\/S0361768807010033","volume":"33","author":"A. Lisitsa","year":"2007","unstructured":"Lisitsa, A. and Nemytykh, A., Verification as a Parameterized Testing (Experiments with the SCP4 Supercompiler), Program. Computer Software, 2007, vol. 33, no. 1, pp. 14\u201323.","journal-title":"Program. Computer Software"},{"key":"6151_CR20","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-11486-1_17","volume":"5947","author":"I. Klyuchnikov","year":"2010","unstructured":"Klyuchnikov, I. and Romanenko, S., Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. Perspectives of Systems Informatics, Lect. Notes Comput. Sci., 2010, vol. 5947, pp. 193\u2013205.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6151_CR21","doi-asserted-by":"crossref","unstructured":"Klimov, A., Solving Coverability Problem for Monotonic Counter Systems by Supercompilation, PSI 11, 2011.","DOI":"10.1007\/978-3-642-29709-0_18"},{"key":"6151_CR22","unstructured":"Klyuchnikov, I., Supercompiler HOSC 1.5: Homeomorphic Embedding and Generalization in a Higher-Order Setting, Preprint of Keldysh Inst. of Applied Mathematics, Russ. Acad. Sci., Moscow, 2010, no. 62."},{"key":"6151_CR23","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/3-540-61580-6_16","volume":"1110","author":"A.P. Nemytykh","year":"1996","unstructured":"Nemytykh, A.P., Pinchuk, V.A., and Turchin, V.F., A Self-Applicable Supercompiler Selected Papers from the Internaltional Seminar on Partial Evaluation, Lect. Notes Comput. Sci., 1996, vol. 1110, pp. 322\u2013337.","journal-title":"Lect. Notes Comput. Sci."},{"issue":"5","key":"6151_CR24","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., Partial Evaluation of Computation Process \u2014 An Approach to a Compiler-Compiler Syst. Comput. Controls, 1971, vol. 2, no. 5, pp. 45\u201350.","journal-title":"Syst. Comput. Controls"},{"key":"6151_CR25","first-page":"51","volume-title":"Proc. of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation PEPM\u201909","author":"R. Gl\u00fcck","year":"2009","unstructured":"Gl\u00fcck, R., Is There a Fourth Futamura Projection?, Proc. of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation PEPM\u201909, New York, NY, USA: ACM, 2009, pp. 51\u201360. http:\/\/doi.acm.org\/10.1145\/1480945.1480954."},{"key":"6151_CR26","unstructured":"Lisitsa, A. and Webster, M., Supercompilation for Equivalence Testing in Metamorphic Computer Viruses Detection Proc. of the First International Workshop on Metacomputation in Russia, 2008."},{"key":"6151_CR27","unstructured":"Hamilton, G.W. and Kabir, M.H., Constructing Programs from Metasystem Transition Proofs, Proc. of the First International Workshop on Metacomputation in Russia, 2008."},{"key":"6151_CR28","unstructured":"Klyuchnikov, I. and Romanenko, S., SPSC: a Simple Supercompiler in Scala PU\u201909 (International Workshop on Program Understanding), 2009."},{"key":"6151_CR29","unstructured":"Klyuchnikov, I., Supercompiler HOSC 1.0: under the Hood, Preprint of Keldysh Inst. of Applied Mathematics, Russ. Acad. Sci., Moscow, 2009, no. 63."},{"key":"6151_CR30","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-85373-2_9","volume":"5083","author":"N. Mitchell","year":"2008","unstructured":"Mitchell, N. and Runciman, C., A Supercompiler for Core Haskell, Implementation and Application of Functional Languages, Lect. Notes Comput. Sci., 2008, vol. 5083, pp. 147\u2013164.","journal-title":"Implementation and Application of Functional Languages, Lect. Notes Comput. Sci."},{"key":"6151_CR31","doi-asserted-by":"crossref","unstructured":"Mitchell, N., Rethinking Supercompilation ICFP 2010, 2010.","DOI":"10.1145\/1863543.1863588"},{"key":"6151_CR32","doi-asserted-by":"crossref","unstructured":"Bolingbroke, M. and Peyton Jones S.L., Supercompilation by Evaluation, Haskell 2010 Symposium, 2010.","DOI":"10.1145\/1863523.1863540"},{"key":"6151_CR33","doi-asserted-by":"crossref","unstructured":"Jonsson, P. and Nordlander, J., Taming Code Explosion in Supercompilation, PEPM\u201911, 2011.","DOI":"10.1145\/1929501.1929507"},{"key":"6151_CR34","volume-title":"Mathematical Logic","author":"S. Kleene","year":"2002","unstructured":"Kleene, S., Mathematical Logic, Dover Books on Mathematics, New York: Dover, 2002."},{"key":"6151_CR35","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BFb0054297","volume":"1422","author":"M.H. Sorensen","year":"1998","unstructured":"Sorensen, M.H., Convergence of Program Transformers in the Metric Space of Trees, Mathematics of Program Construction, Lect. Notes Comput. Sci., 1998, vol. 1422, pp. 315\u2013337.","journal-title":"Lect. Notes Comput. Sci."},{"key":"6151_CR36","unstructured":"Klyuchnikov, I., MRSC: a Framework for Multiresult Supercompilation, Preprint of Keldysh Inst. of Applied Mathematics, Russ. Acad. Sci., Moscow, 2011."},{"key":"6151_CR37","unstructured":"Bolingbroke, M. and Peyton Jones, S.L., Improving Supercompilation: Tag-Bags, Rollback, Speculation, Normalisation, and Generalisation, ICFP 2011, 2011."},{"key":"6151_CR38","doi-asserted-by":"crossref","unstructured":"Jonsson, P., Positive Supercompilation for a Higher-Order Call-by-Value Language, Lulea Univ. of Technology, 2008.","DOI":"10.1145\/1480881.1480916"},{"key":"6151_CR39","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1145\/362375.362379","volume":"16","author":"D.G. Bobrow","year":"1973","unstructured":"Bobrow, D.G. and Wegbreit, B., A Model and Stack Implementation of Multiple Environments, Commun. ACM, 1973, vol. 16, pp. 591\u2013603.","journal-title":"Commun. ACM"},{"key":"6151_CR40","unstructured":"Klimov, A., A Program Specialization Relation Based on Supercompilation and its Properties, Proc. of the First International Workshop on Metacomputation in Russia, Ailamazyan Univ. of Pereslavl, 2008, pp. 54\u201378."},{"key":"6151_CR41","unstructured":"Klyuchnikov, I., Supercompiler HOSC: Proof of Correctness, Preprint of Keldysh Inst. of Applied Mathematics, Russ. Acad. Sci., Moscow, 2010, no. 31."},{"key":"6151_CR42","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/1594834.1480915","volume":"44","author":"R. Tate","year":"2009","unstructured":"Tate, R., Stepp, M., Tat-Lock, Z., and Lerner, S., Equality Saturation: a New Approach to Optimization, SIGPLAN Not, 2009, January, vol. 44, pp. 264\u2013276. http:\/\/doi.acm.org\/10.1145\/1594834.1480915.","journal-title":"SIGPLAN Not"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768812050027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768812050027","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768812050027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768812050027.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:10:48Z","timestamp":1775009448000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768812050027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":42,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["6151"],"URL":"https:\/\/doi.org\/10.1134\/s0361768812050027","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]},"assertion":[{"value":"1 December 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}