{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:34Z","timestamp":1725664174406},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:33:03Z","timestamp":1330259583000},"page":"112-123","source":"Crossref","is-referenced-by-count":44,"title":["Occam's razor in metacomputation: the notion of a perfect process tree"],"prefix":"10.1007","author":[{"given":"Robert","family":"Gl\u00fcck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei V.","family":"Klimov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_CR1","first-page":"121","volume-title":"1st International Workshop on Automated and Algorithmic Debugging","author":"S. M. Abramov","year":"1993","unstructured":"Abramov S. M., Metacomputation and program testing. In: 1st International Workshop on Automated and Algorithmic Debugging. (Link\u00f6ping, Sweden). 121\u2013135, Link\u00f6ping University 1993."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bondorf A., A self-applicable partial evaluator for term rewriting systems. In: D\u00edaz J., Orejas F. (ed.), TAPSOFT '89. (Barcelona, Spain). Lecture Notes in Computer Science, Vol. 352, 81\u201395, Springer-Verlag 1989.","DOI":"10.1007\/3-540-50940-2_29"},{"issue":"2","key":"10_CR3","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"A. Bondorf","year":"1991","unstructured":"Bondorf A., Danvy O., Automatic autoprojection of recursive equations with global variables and abstract data types. In: Science of Computer Programming, 16(2): 151\u2013195, 1991.","journal-title":"Science of Computer Programming"},{"key":"10_CR4","first-page":"264","volume-title":"Binding time analysis for higher order untyped functional languages","author":"C. Consel","year":"1990","unstructured":"Consel C., Binding time analysis for higher order untyped functional languages. In: Proceedings of the 1990 ACM Conference on Lisp and Functional Programming. (Nice, France). 264\u2013272, ACM Press 1990."},{"issue":"2","key":"10_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0020-0190(89)90113-0","volume":"30","author":"C. Consel","year":"1989","unstructured":"Consel C., Danvy O., Partial evaluation of pattern matching in strings. In: Information Processing Letters, 30(2): 79\u201386, 1989.","journal-title":"Information Processing Letters"},{"issue":"1","key":"10_CR6","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0304-3975(91)90299-H","volume":"90","author":"Y. Futamura","year":"1991","unstructured":"Futamura Y., Nogi K., Takano A., Essence of generalized partial computation. In: Theoretical Computer Science, 90(1): 61\u201379, 1991.","journal-title":"Theoretical Computer Science"},{"key":"10_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. (New Haven, Connecticut). 309\u2013320, ACM Press 1991."},{"key":"10_CR8","first-page":"535","volume-title":"Cybernetics and Systems Research '92. Vol. 1","author":"R. Gl\u00fcck","year":"1992","unstructured":"Gl\u00fcck R., Projections for knowledge based systems. In: Trappl R. (ed.), Cybernetics and Systems Research '92. Vol. 1, 535\u2013542, World Scientific: Singapore 1992."},{"key":"10_CR9","first-page":"286","volume-title":"Application of metasystem transition to function inversion and transformation","author":"R. Gl\u00fcck","year":"1990","unstructured":"Gl\u00fcck R., Turchin V. F., Application of metasystem transition to function inversion and transformation. In: Proceedings of the ISSAC '90 (Tokyo, Japan). 286\u2013287, ACM Press 1990."},{"key":"10_CR10","first-page":"225","volume-title":"Partial Evaluation and Mixed Computation","author":"N. D. Jones","year":"1988","unstructured":"Jones N. D., Automatic program specialization: a re-examination from basic principles. In: Bj\u00d8rner D., Ershov A. P., Jones N. D. (ed.), Partial Evaluation and Mixed Computation. (Gammel Avern\u00c6s, Denmark). 225\u2013282, North-Holland 1988."},{"key":"10_CR11","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N. D. Jones","year":"1993","unstructured":"Jones N. D., Gomard C. K., Sestoft P., Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science. Prentice Hall: New York, London, Toronto 1993."},{"issue":"1","key":"10_CR12","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N. D. Jones","year":"1989","unstructured":"Jones N. D., Sestoft P., S\u00d8ndergaard H., Mix: a self-applicable partial evaluator for experiments in compiler generation. In: Lisp and Symbolic Computation, 2(1): 9\u201350, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"10_CR13","first-page":"199","volume-title":"Dynamic specialization in extended functional language with monotone objects","author":"Klimov","year":"1991","unstructured":"Klimov And. V. Klimov, Dynamic specialization in extended functional language with monotone objects. In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Yale University, Connecticut). 199\u2013210, ACM Press 1991."},{"key":"10_CR14","volume-title":"Preprint No. 71","author":"Klimov","year":"1987","unstructured":"Klimov And. V. Klimov, Romanenko S. A., A metaevaluator for the language Refal. Basic concepts and examples. Keldysh Institute of Applied Mathematics, Academy of Sciences of the USSR, Moscow. Preprint No. 71, 1987 (in Russian)."},{"issue":"2","key":"10_CR15","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 Computation, 6(2): 323\u2013350, 1977.","journal-title":"SIAM Journal of Computation"},{"key":"10_CR16","first-page":"325","volume-title":"Partial Evaluation and Mixed Computation","author":"T. Mogensen","year":"1988","unstructured":"Mogensen T. \u00c6., Partially static structures in a self-applicable partial evaluator. In: Bj\u00d8rner D., Ershov A. P., Jones N. D. (ed.), Partial Evaluation and Mixed Computation. (Gammel Avern\u00c6s, Denmark). 325\u2013347, North-Holland 1988."},{"key":"10_CR17","first-page":"12","volume-title":"Inversion and metacomputation","author":"A. Y. Romanenko","year":"1991","unstructured":"Romanenko A. Yu., Inversion and metacomputation. In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Yale University, Connecticut). 12\u201322, ACM Press 1991."},{"key":"10_CR18","volume-title":"Preprint No. 211","author":"S. A. Romanenko","year":"1987","unstructured":"Romanenko S. A., Driving for Refal-4 programs. Keldysh Institute of Applied Mathematics, Academy of Sciences of the USSR, Moscow. Preprint No. 211, 1987 (in Russian)."},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1007\/3-540-56393-8_32","volume-title":"Conditional Term Rewriting Systems. Proceedings","author":"A. Takano","year":"1993","unstructured":"Takano A., Generalized partial computation using disunification to solve constraints. In: Rusinowitch M., R\u00e9my J. L. (ed.), Conditional Term Rewriting Systems. Proceedings. (Pont-\u00e0-Mousson, France). Lecture Notes in Computer Science, Vol. 626, 424\u2013428, Springer-Verlag 1993."},{"key":"10_CR20","unstructured":"Turchin V. F., Equivalent transformations of recursive functions defined in Refal. In: Teoria Jazykov i Metody Programmirovanija (Proceedings of the Symposium on the Theory of Languages and Programming Methods). (Kiev-Alushta, USSR). 31\u201342, 1972 (in Russian)."},{"key":"10_CR21","first-page":"36","volume":"6","author":"V. F. Turchin","year":"1974","unstructured":"Turchin V. F., Equivalent transformations of Refal programs. In: Avtomatizirovannaja Sistema upravlenija stroitel'stvom. Trudy CNIPIASS, 6: 36\u201368, 1974 (in Russian).","journal-title":"Avtomatizirovannaja Sistema upravlenija stroitel'stvom. Trudy CNIPIASS"},{"key":"10_CR22","unstructured":"Turchin V. F., The language Refal, the theory of compilation and metasystem analysis. Courant Institute of Mathematical Sciences, New York University. Courant Computer Science Report No. 20, 1980."},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science, Vol. 94","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/3-540-10250-7_33","volume-title":"Semantics-Directed Compiler Generation","author":"V. F. Turchin","year":"1980","unstructured":"Turchin V. F., Semantic definitions in Refal and automatic production of compilers. In: Jones N. D. (ed.), Semantics-Directed Compiler Generation. (Aarhus, Denmark). Lecture Notes in Computer Science, Vol. 94, 441\u2013474, Springer-Verlag 1980."},{"issue":"3","key":"10_CR24","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. In: ACM TOPLAS, 8(3): 292\u2013325, 1986.","journal-title":"ACM TOPLAS"},{"key":"10_CR25","first-page":"341","volume-title":"Partial Evaluation and Mixed Computation","author":"V. F. Turchin","year":"1988","unstructured":"Turchin V. F., The algorithm of generalization in the supercompiler. In: Bj\u00d8rner D., Ershov A. P., Jones N. D. (ed.), Partial Evaluation and Mixed Computation. (Gl. Avern\u00c6s, Denmark). 341\u2013353, 1988."},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Turchin V. F., Program transformation with metasystem transitions. In: Journal of Functional Programming, 1993 (to appear).","DOI":"10.1017\/S0956796800000757"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:02:16Z","timestamp":1619571736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}