{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:26Z","timestamp":1775053466710,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:32:33Z","timestamp":1330295553000},"page":"249-260","source":"Crossref","is-referenced-by-count":7,"title":["Program transformation with metasystem transitions: Experiments with a supercompiler"],"prefix":"10.1007","author":[{"given":"Andrei P.","family":"Nemytykh","sequence":"first","affiliation":[]},{"given":"Victoria A.","family":"Pinchuk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"21_CR1","first-page":"31","volume":"3","author":"S.M. Abramov","year":"1991","unstructured":"Abramov S.M., Metavychisleniya i logicheskoe programmirovanie (Metacomputation and logic programming). Programmirovanie, 3:31\u201344, 1991. (in Russian).","journal-title":"Programmirovanie"},{"issue":"No.1","key":"21_CR2","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall R. M., J. Darlington. A Transformation System for Developing Recursive Programs. In Journal of the ACM. Vol. 24, No.1,pp. 44\u201367, 1977.","journal-title":"Journal of the ACM"},{"key":"21_CR3","unstructured":"Ershov, A.P. On the essence of compilation, In: E.J.Neuhold (Ed.) Formal Description of Programming Concepts, pp.391\u2013420, North-Holland, 1978."},{"issue":"5","key":"21_CR4","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., Partial evaluation of computation process \u2014 an approach to compiler compiler. Systems, Computers, Controls, 2, 5 (1971) pp. 45\u201350.","journal-title":"Systems, Computers, Controls"},{"key":"21_CR5","series-title":"LNCS 202","volume-title":"Rewriting Techniques and Applications","author":"N. Jones","year":"1985","unstructured":"Jones N., Sestoft P., Sondergaard H., An experiment in partial evaluation: the generation of a compiler generator. In: Jouannaud J.-P. (Ed.) Rewriting Techniques and Applications, Dijon, France, LNCS 202, Springer, 1985."},{"key":"21_CR6","unstructured":"Gl\u00fcck R. and Turchin V., Experiments with a Self-applicable Supercompiler, CCNY Technical Report, 1989."},{"key":"21_CR7","first-page":"309","volume-title":"Towards multiple self-application","author":"R. Gl\u00fcck","year":"1991","unstructured":"Gl\u00fcck R., Towards multiple self-application. In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 309\u2013320, New Haven, Connecticut, ACM Press, 1991."},{"key":"21_CR8","volume-title":"Generating optimizing specializers","author":"R. Gl\u00fcck","year":"1994","unstructured":"Gl\u00fcck R., J\u00f8rgensen J., Generating optimizing specializers. In: IEEE International Conference on Computer Languages, Toulose, France, IEEE Computer Society Press, 1994."},{"issue":"2","key":"21_CR9","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D.E. Knuth","year":"1977","unstructured":"Knuth D.E., Morris J.H., Pratt V.R., Fast Pattern Matching in Strings. In SIAM Journal of Computer, 6(2) pp. 323\u2013350, 1977","journal-title":"SIAM Journal of Computer"},{"key":"21_CR10","unstructured":"Nemytykh A., Fast Pattern Matching in Strings by Program Transformation in preparation"},{"key":"21_CR11","unstructured":"Nemytykh A., Pinchuk V., Transformation Programs to Decrease Run Time in preparation"},{"key":"21_CR12","unstructured":"Nemytykh A., Pinchuk V., Inversing of functional programs by metasystem transitions in preparation"},{"key":"21_CR13","unstructured":"Nemytykh A., Pinchuk V., Interpretive layers in metasystem transitions. In: ftp.botik.ru (name: anonymous, pwd: YourSecondName), path: pub\/local\/scp, 1995."},{"key":"21_CR14","unstructured":"Pettorossi A. and Proietti M., Transformation of logic programs: Foundations and Techniques, Istituto di analisi dei sistemi ed informatica, R. 369, Novembre 1993, Italy."},{"key":"21_CR15","first-page":"12","volume-title":"Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"A. Romanenko","year":"1991","unstructured":"Romanenko A., Inversion and Metacomputation. Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Yale University, 1991, USA pp. 12\u201322."},{"key":"21_CR16","volume-title":"Basic Refal and its implementation on computers","author":"V. F. Turchin","year":"1977","unstructured":"Turchin V. F., Klimov A. V. et al, Bazisnyi Refal i yego realizalsiya na vychislitel'nykh mashinakh. (Basic Refal and its implementation on computers) GOSSTROY SSSR, TsNIPIASS, Moscow, 1977 (in Russian)."},{"key":"21_CR17","unstructured":"Turchin, V.F. The Language Refal, the Theory of Compilation and Metasystem Analysis, Courant Computer Science Report #20, New York University, 1980."},{"key":"21_CR18","doi-asserted-by":"crossref","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, 8, pp. 292\u2013325, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"21_CR19","unstructured":"Turchin, V.F. The Algorithm of Generalization in the Supercopmiler, In ACM Partial Evaluation and Mixed Computation. Eds. A.P. Ershov, D. Bjorner, N.D. Jones North-Holland, 1988."},{"key":"21_CR20","unstructured":"Turchin V., Refal-5, Programming Guide and Reference Manual, New England Publishing Co., 1989."},{"issue":"3","key":"21_CR21","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1017\/S0956796800000757","volume":"3","author":"V.F. Turchin","year":"1993","unstructured":"Turchin V.F., Program Transformation with Metasystem Transitions, J. of Functional Programming, 3(3) 283\u2013313, 1993.","journal-title":"J. of Functional Programming"},{"key":"21_CR22","unstructured":"Turchin V., Nemytykh, A. Metavariables: Their implementation and use in Program Transformation, Technical Report CSc. TR 95-012, City College of the City University of New York, 1995."},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Turchin V., Nemytykh A., Pinchuk V., A Self-Applicable Supercompiler, to appear in Proceedings of PEPM, Dagstuhl, 1996.","DOI":"10.1007\/3-540-61580-6_16"},{"key":"21_CR24","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. Deforestation Programs to Eliminate Trees. TCS., 73: 231\u2013248, 1990.","journal-title":"TCS"}],"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_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:46Z","timestamp":1605647506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}