{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:40:02Z","timestamp":1759138802320,"version":"3.44.0"},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197577"},{"type":"electronic","value":"9781447135012"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3501-2_3","type":"book-chapter","created":{"date-parts":[[2013,2,1]],"date-time":"2013-02-01T11:32:03Z","timestamp":1359718323000},"page":"51-65","source":"Crossref","is-referenced-by-count":2,"title":["Considerate Code Selection"],"prefix":"10.1007","author":[{"given":"Robert","family":"Giegerich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0096-0551(90)90006-B","volume":"15","author":"A Balachandran","year":"1990","unstructured":"Balachandran A, Dhamdhere DM, Biswas S. Efficient Retargetable Code Generation Using Bottom-Up Tree Pattern Matching. Computer Languages, 15 (3): 127\u2013140, 1990.","journal-title":"Computer Languages"},{"doi-asserted-by":"crossref","unstructured":"Chen H, Hsiang J. Logic Programming with Recurrence Domains. In Proceedings 18th International Colloquium on Automata, Languages and Programming, vol 510 of Lecture Notes in Computer Science (LNCS), pp 20\u201334. Springer, 1991.","key":"3_CR2","DOI":"10.1007\/3-540-54233-7_122"},{"doi-asserted-by":"crossref","unstructured":"Dershowitz N, Jouannaud JP. Rewrite Systems, vol B of Handbook of Theoretical Computer Science, chapter 15. North Holland, 1990.","key":"3_CR3","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"doi-asserted-by":"crossref","unstructured":"Emmelmann H. Code Selection by Regularly Controlled Rewriting. In [10], 1992.","key":"3_CR4","DOI":"10.1007\/978-1-4471-3501-2_1"},{"doi-asserted-by":"crossref","unstructured":"Ferdinand C, Seidl H, Wilhelm R. Tree Automata for Code Selection. In [10], 1992.","key":"3_CR5","DOI":"10.1007\/978-1-4471-3501-2_2"},{"doi-asserted-by":"crossref","unstructured":"Ganzinger H, Giegerich R. Attribute Coupled Grammars. In Proceedings of the International Symposium on Compiler Construction, pp 70\u201380. Association for Computing Machinery (ACM), 1984. Issue 19(6), 1984 of SIGPLAN NOTICES.","key":"3_CR6","DOI":"10.1145\/502949.502890"},{"unstructured":"Ganzinger H, Giegerich R, Vach M. MARVIN \u2014 A Tool for Applicative and Modular Compiler Specifications. Technical Report 220, University Dortmund, 1986.","key":"3_CR7"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0304-3975(90)90145-8","volume":"73","author":"R Giegerich","year":"1990","unstructured":"Giegerich R. Code Selection by Inversion of Order-Sorted Derivors. TCS, 73: 177\u2013211, 1990.","journal-title":"TCS"},{"unstructured":"Giegerich R. On the Structure of Verifiable Code Generator Specifications. In Proceedings SIGPLAN `90 Conference on Programming Language Design and Implementation, pp 1\u20138, 1990. Issue 25(6),1990 of SIGPLAN NOTICES.","key":"3_CR9"},{"doi-asserted-by":"crossref","unstructured":"Giegerich R, Graham SL (eds). Code Generation \u2014 Concepts, Tools, Techniques. This vol of Workshops in Computing (WICS). Springer Verlag, 1992.","key":"3_CR10","DOI":"10.1007\/978-1-4471-3501-2"},{"unstructured":"Giegerich R, Hogenkamp H. Semi-Formal Validation in Code Generator Development. Submitted, 1992.","key":"3_CR11"},{"doi-asserted-by":"crossref","unstructured":"Giegerich R, Schmal K. Code Selection Techniques: Pattern Matching, Tree Parsing and Inversion of Derivors. In Proceedings of the European Symposium on Programming 1988, vol 300 of Lecture Notes in Computer Science (LNCS), pp 247\u2013268. Springer, 1988.","key":"3_CR12","DOI":"10.1007\/3-540-19027-9_17"},{"doi-asserted-by":"crossref","unstructured":"Hullot JM. Canonical Forms and Unification. In Proceedings of the 5th Conference on Automated Deduction, vol 87 of Lecture Notes in Computer Science (LNCS), pp 318\u2013334. Springer, 1980.","key":"3_CR13","DOI":"10.1007\/3-540-10009-1_25"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"DE Knuth","year":"1968","unstructured":"Knuth DE. Semantics of Context-free Languages. Mathematical Systems Theory 2, pp 127\u2013145, 1968.","journal-title":"Mathematical Systems Theory"},{"doi-asserted-by":"crossref","unstructured":"Lang B. Towards a Uniform Framework for Parsing. In Tornita M (ed), Current issues in parsing technologies. Kluver Academic Press, 1990.","key":"3_CR15","DOI":"10.1007\/978-1-4615-3986-5_11"},{"unstructured":"Pelegri-Llopart E. Rewrite Systems, Pattern Matching and Code Generation. PhD thesis, UC Berkeley, 1987. EECS-Report.","key":"3_CR16"},{"unstructured":"Reinold M. Transformations in Shared Forests. Master\u2019s thesis, Universit\u00e4t Dortmund, 1991. in German.","key":"3_CR17"}],"container-title":["Workshops in Computing","Code Generation \u2014 Concepts, Tools, Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3501-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:07:10Z","timestamp":1759136830000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3501-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197577","9781447135012"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3501-2_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}