{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:26Z","timestamp":1747807946982},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610533"},{"type":"electronic","value":"9783540499398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61053-7_60","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:17Z","timestamp":1330290797000},"page":"160-176","source":"Crossref","is-referenced-by-count":2,"title":["Code generation = A* + BURS"],"prefix":"10.1007","author":[{"given":"Albert","family":"Nymeyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost -Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ymte","family":"Westra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henk","family":"Alblas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"4","key":"12_CR1","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/69558.75700","volume":"11","author":"A. V. Aho","year":"1989","unstructured":"A. V. Aho, M. Ganapathi, and S. W. K. Tjiang. Code generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems, 11(4):491\u2013516, October 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"12_CR2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0096-0551(90)90006-B","volume":"15","author":"A. Balachandran","year":"1990","unstructured":"A. Balachandran, D. M. Dhamdhere, and S. Biswas. Efficient retargetable code generation using bottom-up tree pattern matching. Computer Languages, 15(3): 127\u2013140, 1990.","journal-title":"Computer Languages"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0304-3975(92)90277-M","volume":"106","author":"J. Cai","year":"1992","unstructured":"J. Cai, R. Paige, and R. Tarjan. More efficient bottom-up multi-pattern matching in trees. Theoretical Computer Science, 106:21\u201360, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"12_CR4","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/872732.806955","volume":"14","author":"R. G. G. Cattell","year":"1979","unstructured":"R. G. G. Cattell. Code generation in a machine-independent compiler. Proceedings of the ACM SIGPLAN 1979 Symposium on Compiler Construction, ACM SIGPLAN Notices, 14(8):65\u201375, August 1979.","journal-title":"ACM SIGPLAN Notices"},{"issue":"2","key":"12_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/357094.357097","volume":"2","author":"R. G. G. Cattell","year":"1980","unstructured":"R. G. G. Cattell. Automatic derivation of code generators from machine descriptions. ACM Transactions on Programming Languages and Systems, 2(2): 173\u2013190, April 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR6","volume-title":"Formalization and Automatic Derivation of Code Generators","author":"R. G. G. Cattell","year":"1982","unstructured":"R. G. G. Cattell. Formalization and Automatic Derivation of Code Generators. UMI Research Press, Ann Arbor, Michigan, 1982."},{"doi-asserted-by":"crossref","unstructured":"D. R. Chase. An improvement to bottom-up tree pattern matching. In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 168\u2013177, Munich, Germany, January 1987.","key":"12_CR7","DOI":"10.1145\/41625.41640"},{"issue":"6","key":"12_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/502949.502877","volume":"19","author":"T. W. Christopher","year":"1984","unstructured":"T. W. Christopher, P. J. Hatcher, and R. C. Kukuk. Using dynamic programming to generate optimised code in a Graham-Glanville style code generator. Proceedings of the ACM SIGPLAN 1984 Symposium on Compiler Construction, ACM SIGPLAN Notices, 19(6):25\u201336, June 1984.","journal-title":"ACM SIGPLAN Notices"},{"doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science (Vol. B: Formal Models and Semantics), chapter 6, pages 245\u2013320. Elsevier Science Publishers B.V., 1990.","key":"12_CR9","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"12_CR10","series-title":"Workshops in Computing Series","first-page":"3","volume-title":"Code generation\u2014concepts, tools, techniques","author":"H. Emmelmann","year":"1991","unstructured":"H. Emmelmann. Code selection by regularly controlled term rewriting. In R. Giegerich and S. L. Graham, editors, Code generation\u2014concepts, tools, techniques, Workshops in Computing Series, pages 3\u201329. Springer-Verlag, New York-Heidelberg-Berlin, 1991."},{"issue":"7","key":"12_CR11","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/74818.74838","volume":"24","author":"H. Emmelmann","year":"1989","unstructured":"H. Emmelmann, F. W. Schr\u00f6er, and R. Landwehr. BEG\u2014a generator for efficient back ends. ACM SIGPLAN Notices, 24(7):246\u2013257, July 1989.","journal-title":"ACM SIGPLAN Notices"},{"issue":"8","key":"12_CR12","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1007\/BF01178733","volume":"31","author":"C. Ferdinand","year":"1994","unstructured":"C. Ferdinand, H. Seidl, and R. Wilhelm. Tree automata for code selection. Acta Informatica, 31(8):741\u2013760, 1994.","journal-title":"Acta Informatica"},{"issue":"3","key":"12_CR13","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/151640.151642","volume":"1","author":"C. W. Fraser","year":"1992","unstructured":"C. W. Fraser, D. R. Hanson, and T. A. Proebsting. Engineering a simple, efficient code-generator generator. ACM Letters on Programming Languages and Systems, 1(3): 213\u2013226, September 1992.","journal-title":"ACM Letters on Programming Languages and Systems"},{"issue":"4","key":"12_CR14","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/131080.131089","volume":"27","author":"C. W. Fraser","year":"1992","unstructured":"C. W. Fraser, R. R. Henry, and T. A. Proebsting. BURG\u2014fast optimal instruction selection and tree parsing. ACM SIGPLAN Notices, 27(4):68\u201376, July 1992.","journal-title":"ACM SIGPLAN Notices"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0304-3975(90)90145-8","volume":"73","author":"R. Giegerich","year":"1990","unstructured":"R. Giegerich. Code selection by inversion of order-sorted derivors. Theoretical Computer Science, 73:177\u2013211, 1990.","journal-title":"Theoretical Computer Science"},{"key":"12_CR16","first-page":"247","volume-title":"volume 300 of Lecture Notes in Computer Science","author":"R. Giegerich","year":"1988","unstructured":"R. Giegerich and K. Schmal. Code selection techniques: pattern matching, tree parsing, and inversion of derivors. In H. Ganzinger, editor, Proc. 2nd European Symp. on Programming, volume 300 of Lecture Notes in Computer Science, pages 247\u2013268. Springer-Verlag, New York-Heidelberg-Berlin, 1988."},{"doi-asserted-by":"crossref","unstructured":"P. J. Hatcher and T. W. Christopher. High-quality code generation via bottom-up tree pattern matching. In Proceedings of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 119\u2013130, Tampa Bay, Florida, January 1986.","key":"12_CR17","DOI":"10.1145\/512644.512655"},{"key":"12_CR18","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0167-6423(89)90015-4","volume":"13","author":"C. Hemerik","year":"1990","unstructured":"C. Hemerik and J.-P. Katoen. Bottom-up tree acceptors. Science of Computer Programming, 13:51\u201372, January 1990.","journal-title":"Science of Computer Programming"},{"key":"12_CR19","volume-title":"Technical report 87-08-04","author":"R. R. Henry","year":"1988","unstructured":"R. R. Henry. The codegen user's manual. Technical report 87-08-04, Computer Science Department, University of Washington, Seattle, Washington, October 1988."},{"key":"12_CR20","volume-title":"Technical report 89-02-04","author":"R. R. Henry","year":"1989","unstructured":"R. R. Henry. Encoding optimal pattern selection in a table-driven bottom-up tree-pattern matcher. Technical report 89-02-04, Computer Science Department, University of Washington, Seattle, Washington, February 1989."},{"key":"12_CR21","volume-title":"Technical report 89-02-03","author":"R. R. Henry","year":"1989","unstructured":"R. R. Henry and P. C. Damron. Algorithms for table-driven generators using tree-pattern matching. Technical report 89-02-03, Computer Science Department, University of Washington, Seattle, Washington, February 1989."},{"key":"12_CR22","volume-title":"Technical report 89-02-02","author":"R. R. Henry","year":"1989","unstructured":"R. R. Henry and P. C. Damron. Performance of table-driven code generators using treepattern matching. Technical report 89-02-02, Computer Science Department, University of Washington, Seattle, Washington, February 1989."},{"issue":"1","key":"12_CR23","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/322290.322295","volume":"29","author":"C. M. Hoffmann","year":"1982","unstructured":"C. M. Hoffmann and M. J. O'Donnell. Pattern matching in trees. Journal of the ACM, 29(1):68\u201395, January 1982.","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"L. Kanal and V. Kumar, editors. Search in Artificial Intelligence. Springer, 1988.","key":"12_CR24","DOI":"10.1007\/978-1-4613-8788-6"},{"key":"12_CR25","volume-title":"PhD thesis","author":"H. Kron","year":"1975","unstructured":"H. Kron. Tree Templates and Subtree Transformational Grammars. PhD thesis, Information Sciences Department, University of California, Santa Cruz, CA, 1975."},{"key":"12_CR26","volume-title":"Problem-solving methods in artificial intelligence","author":"N. J. Nilsson","year":"1971","unstructured":"N. J. Nilsson. Problem-solving methods in artificial intelligence. McGraw-Hill, New York, 1971."},{"key":"12_CR27","volume-title":"Principles of artificial intelligence","author":"N. J. Nilsson","year":"1980","unstructured":"N. J. Nilsson. Principles of artificial intelligence, Morgan Kaufmann Publishers, Palo Alto, CA, 1980."},{"key":"12_CR28","volume-title":"Technical report 95-42","author":"A. Nymeyer","year":"1995","unstructured":"A. Nymeyer and J.-P. Katoen. Code generation based on formal BURS theory and heuristic search. Technical report 95-42, Department of Computer Science, University of Twente, Enschede, The Netherlands, November 1995."},{"key":"12_CR29","series-title":"Technical Report CSD-88-423","volume-title":"PhD thesis","author":"E. Pelegr\u00ed-Llopart","year":"1987","unstructured":"E. Pelegr\u00ed-Llopart. Rewrite systems, pattern matching, and code generation. PhD thesis, University of California, Berkeley, December 1987. (Also as Technical Report CSD-88-423)."},{"doi-asserted-by":"crossref","unstructured":"E. Pelegr\u00ed-Llopart and S. L. Graham. Optimal code generation for expression trees: An application of BURS theory. In Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 294\u2013308, San Diego, CA, January 1988.","key":"12_CR30","DOI":"10.1145\/73560.73586"},{"issue":"17","key":"12_CR31","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/203095.203098","volume":"3","author":"T. A. Proebsting","year":"1995","unstructured":"T. A. Proebsting. BURS automata generation. ACM Transactions on Programming Languages and Systems, 3(17):461\u2013486, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR32","series-title":"volume 371 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-51364-7_17","volume-title":"Compiler compilers and high speed compilation","author":"B. Weisgerber","year":"1989","unstructured":"B. Weisgerber and R. Wilhelm. Two tree pattern matchers for code selection. In D. Hammer, editor, Compiler compilers and high speed compilation, volume 371 of Lecture Notes in Computer Science, pages 215\u2013229. Springer-Verlag, New York-Heidelberg-Berlin, October 1989."},{"issue":"8","key":"12_CR33","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.1980.1653748","volume":"13","author":"W. A. Wulf","year":"1980","unstructured":"W. A. Wulf, B. W. Leverett, R. G. G. Cattell, S. O. Hobbs, J. M. Newcomer, A. H. Reiner, and B. R. Schatz. An overview of the production-quality compiler compiler project. IEEE Computer, 13(8):38\u201349, August 1980.","journal-title":"IEEE Computer"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61053-7_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:29:04Z","timestamp":1619573344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61053-7_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610533","9783540499398"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-61053-7_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}