{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:12:56Z","timestamp":1759637576851},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1007\/bf03037321","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:00:42Z","timestamp":1240365642000},"page":"75-95","source":"Crossref","is-referenced-by-count":5,"title":["On the degeneration of program generators by program composition"],"prefix":"10.1007","volume":"16","author":[{"given":"Robert","family":"Gl\u00fcck","sequence":"first","affiliation":[]},{"given":"Andrei","family":"Klimov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037321_CR1","unstructured":"Ershov, A. P., \u201cOn the Essence of Compilation,\u201d inFormal Description of Programming Concepts (E. J. Neuhold, ed.), North-Holland, pp. 391\u2013420, 1978."},{"key":"BF03037321_CR2","doi-asserted-by":"crossref","unstructured":"Futamura, Y., \u201cPartial Computation of Programs,\u201d inRIMS Symposia on Software Science and Engineering (E. Goto, K. Furukawa R. Nakajima, I. Nakata, and A. Yonezawa, eds.), Springer-Verlag, pp. 1\u201335, 1983.","DOI":"10.1007\/3-540-11980-9_13"},{"key":"BF03037321_CR3","unstructured":"Bj\u00f8rner, D., Ershov, A. P., and Jones, N. D. (eds.),Paritial Evaluation and Mixed Computation, North-Holland, 1988."},{"key":"BF03037321_CR4","unstructured":"Jones, N. D., Gomard, C. K., and Sestoft, P.,Partial Evaluation and Automatic Program Generation, Prentice-Hall, 1993."},{"key":"BF03037321_CR5","doi-asserted-by":"crossref","unstructured":"Danvy, O., Gl\u00fcck, R., and Thiemann, P. (eds.),Partial Evaluation, volume 1110 of Lecture Notes in Computer Science, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61580-6"},{"issue":"5","key":"BF03037321_CR6","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., \u201cPartial Evaluation of Computing Process\u2014An Approach to a Compiler-Compiler,\u201dSystems, Computers, Controls, 2, 5, pp. 45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"issue":"3","key":"BF03037321_CR7","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. F. Turchin","year":"1986","unstructured":"Turchin, V. F., \u201cThe Concept of a Supercompiler,\u201dTransactions on Programming Languages and Systems, 8, 3, pp. 292\u2013325, 1986.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"BF03037321_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"Wadler, P., \u201cDeforestation: Transforming Programs to Eliminate Trees,\u201dTheoretical Computer Science, 73, pp. 231\u2013248, 1990.","journal-title":"Theoretical Computer Science"},{"key":"BF03037321_CR9","unstructured":"Fegaras, L., Sheard, T., and Zhou, T., \u201cImproving Programs Which Recurse over Multiple Inductive Structures,\u201d inACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Orlando, Florida, pp. 21\u201332, 1994."},{"key":"BF03037321_CR10","doi-asserted-by":"crossref","unstructured":"Takano, A. and Meijer, E., \u201cShortcut Deforestation in Calculational Form,\u201d inConference on Functional Programming Languages and Computer Architecture, ACM Press, pp. 306\u2013313, 1995.","DOI":"10.1145\/224164.224221"},{"key":"BF03037321_CR11","unstructured":"Turchin, V. F., \u201cEhkvivalentnye preobrazovanija rekursivnykh funkcij na Refale (Equivalent transformations of recursive functions defined in Refal),\u201d inTeorija Jazykov i Metody Programmirovanija (Proceedings of the Symposium on the Theory of Languages and Programming Methods), pp. 31\u201342, 1972. [In Russian]"},{"issue":"3","key":"BF03037321_CR12","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1145\/366199.366249","volume":"4","author":"H. Bratman","year":"1961","unstructured":"Bratman, H., \u201cAn Alternate Form of the \u2018UNCOL Diagram,\u2019\u201dCommunications of the ACM, 4, 3, p. 142, 1961.","journal-title":"Communications of the ACM"},{"issue":"10","key":"BF03037321_CR13","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1145\/355598.362740","volume":"13","author":"J. Earley","year":"1970","unstructured":"Earley, J. and Sturgis, H., \u201cA Formalism for Translator Interactions,\u201dCommunications of the ACM, 13, 10, pp. 607\u2013617, 1970.","journal-title":"Communications of the ACM"},{"key":"BF03037321_CR14","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1080\/02604027.1995.9972561","volume":"45","author":"R. Gl\u00fcck","year":"1995","unstructured":"Gl\u00fcck, R. and Klimov, A. V., \u201cMetasystem Transition Schemes in Computer Science and Mathematics,\u201dWorld Futures, 45, pp. 213\u2013243, 1995.","journal-title":"World Futures"},{"key":"BF03037321_CR15","doi-asserted-by":"crossref","unstructured":"Gl\u00fcck, R., \u201cOn the Mechanics of Metasystem Hierarchies in Program Transformation,\u201d inLogic Program Synthesis and Transformation, volume 1048 of Lecture Notes in Computer Science (M. Proietti, ed.), Springer-Verlag, pp. 234\u2013251, 1996.","DOI":"10.1007\/3-540-60939-3_18"},{"key":"BF03037321_CR16","doi-asserted-by":"crossref","unstructured":"Turchin, V. F., \u201cMetacomputation: Metasystem Transitions plus Supercompilation,\u201d inPartial Evaluation, volume 1110 of Lecture Notes in Computer Science (O. Danvy, R. Gl\u00fcck, and P. Thiemann, ed.), Springer-Verlag, pp. 481\u2013509, 1996.","DOI":"10.1007\/3-540-61580-6_24"},{"key":"BF03037321_CR17","doi-asserted-by":"crossref","unstructured":"Gl\u00fcck, R. and J\u00f8rgensen, J., \u201cEfficient Multi-Level Generating Extensions for Program Specialization,\u201d inProgramming Languages: Implementations, Logics and Programs (PLILP\u201995) (M. Hermenegildo and S. D. Swierstra, eds.),volume 982 of Lecture Notes in Computer Science, Springer-Verlag, pp. 259\u2013278, 1995.","DOI":"10.1007\/BFb0026825"},{"key":"BF03037321_CR18","volume-title":"The Phenomenon of Science","author":"V. F. Turchin","year":"1977","unstructured":"Turchin, V. F.,The Phenomenon of Science, Columbia University Press, New York, 1977."},{"key":"BF03037321_CR19","doi-asserted-by":"crossref","unstructured":"Tofte, M.,Compiler Generators, volume 19 of EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-61504-7"},{"issue":"4","key":"BF03037321_CR20","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1017\/S0956796800001167","volume":"4","author":"R. Gl\u00fcck","year":"1994","unstructured":"Gl\u00fcck, R., \u201cOn the Generation of Specializers,\u201dJournal of Functional Programming, 4, 4, pp. 499\u2013514, 1994.","journal-title":"Journal of Functional Programming"},{"issue":"1\u20133","key":"BF03037321_CR21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(91)90035-V","volume":"17","author":"A. Bondorf","year":"1991","unstructured":"Bondorf, A., \u201cAutomatic Autoprojection of Higher Order Recursive Equations,\u201dScience of Computer Programming, 17, 1\u20133, pp. 3\u201334, 1991.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"BF03037321_CR22","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1017\/S0956796800000757","volume":"3","author":"V. F. Turchin","year":"1993","unstructured":"Turchin, V. F., \u201cProgram Transformation with Metasystem Transitions,\u201dJournal of Functional Programming, 3, 3, pp. 283\u2013313, 1993.","journal-title":"Journal of Functional Programming"},{"key":"BF03037321_CR23","volume-title":"Metavychislenija i ikh prilozhenija (Metacomputation and its Applications)","author":"S. M. Abramov","year":"1995","unstructured":"Abramov, S. M.,Metavychislenija i ikh prilozhenija (Metacomputation and its Applications), Nauka, Moscow, 1995, [In Russian]"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037321.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037321\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037321","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:34Z","timestamp":1558572754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["BF03037321"],"URL":"https:\/\/doi.org\/10.1007\/bf03037321","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}