{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:46:47Z","timestamp":1759146407133},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:56:21Z","timestamp":1330199781000},"page":"247-268","source":"Crossref","is-referenced-by-count":16,"title":["Code selection techniques: Pattern matching, tree parsing, and inversion of derivors"],"prefix":"10.1007","author":[{"given":"Robert","family":"Giegerich","sequence":"first","affiliation":[]},{"given":"Karl","family":"Schmal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"9","key":"17_CR1","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1145\/358172.358182","volume":"26","author":"A. Tanenbaum","year":"1983","unstructured":"A. Tanenbaum, H. van Staveren, E. Keizer, J. Stevenson: A Practical tool Kit for making Portable Compilers. CACM 26(9), pp. 654\u2013660, 1983]","journal-title":"CACM"},{"key":"17_CR2","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh (ed.): Current trends in programming methodology, Vol. IV, Prentice Hall, 1978."},{"key":"17_CR3","first-page":"334","volume":"12","author":"A.V. Aho","year":"1985","unstructured":"A.V. Aho, M. Ganapathi: Efficient tree pattern matching: an aid to code generation. Proceedings POPL 12, pp.334\u2013340, 1985.","journal-title":"Proceedings POPL"},{"key":"17_CR4","volume-title":"Code Generation Using Tree Matching and Dynamic Programming. Report","author":"A.V. Aho","year":"1986","unstructured":"A.V. Aho, M. Ganapathi, S.W.K. Tjiang: Code Generation Using Tree Matching and Dynamic Programming. Report, Bell Laboratories, Murray Hill, 1986."},{"issue":"3","key":"17_CR5","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1145\/321958.321970","volume":"23","author":"A.V. Aho","year":"1976","unstructured":"A.V. Aho, S.C. Johnson: Optimal Code Generation for Expression Trees. JACM 23(3), pp. 488\u2013501, 1976.","journal-title":"JACM"},{"key":"17_CR6","unstructured":"M. Benk: Tree grammars as a pattern matching mechanism for code generation. Report TUM-I8524, Technical University M\u00fcnchen, 1985."},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0019-9958(69)90065-5","volume":"14","author":"M.S. Brainerd","year":"1969","unstructured":"M.S. Brainerd: Tree generating regular systems. Information and Control 14, pp. 217\u2013231, 1969.","journal-title":"Information and Control"},{"key":"17_CR8","volume-title":"Formalization and Automatic Derivation of Code Generators","author":"R.G.G. Cattell","year":"1978","unstructured":"R.G.G. Cattell: Formalization and Automatic Derivation of Code Generators. Dissertation, Report CMU-CS-78-117, Carnegie-Mellon-University, Pittsburgh 1978."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"D.R. Chase: An improvement to bottom-up tree pattern matching. Proceedings POPL 14, 1987.","DOI":"10.1145\/41625.41640"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Th.W. Christopher, Ph.J. Hatcher, R.C. Kukuk: Using dynamic programming to generate optimized code in a Graham-Glanville style code generator. Proceedings SIGPLAN \u203284 Symposium on Compiler Construction, SIGPLAN Notices 19, 6, 1984.","DOI":"10.1145\/502949.502877"},{"issue":"6","key":"17_CR11","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/502949.502890","volume":"19","author":"H. Ganzinger","year":"1984","unstructured":"H. Ganzinger, R. Giegerich: Attribute coupled grammars. Proceedings 2nd SIGPLAN Symposium on Compiler Construction, SIGPLAN Notices 19 (6), pp.70\u201380, 1984.","journal-title":"SIGPLAN Notices"},{"key":"17_CR12","unstructured":"R. Giegerich: Code generation phase models based on abstract machine descriptions. Report TUM-I8412, Technical University M\u00fcnchen, 1984."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"R. Giegerich: Logic specification of code generation techniques. In: H. Ganzinger, N.D. Jones (Eds.): Programs as data objects. LNCS 217, Springer Verlag, 1985.","DOI":"10.1007\/3-540-16446-4_6"},{"key":"17_CR14","volume-title":"A Machine Independent Algorithm for Code Generation and its Use in Retargetable Compilers","author":"R.S. Glanville","year":"1977","unstructured":"R.S. Glanville: A Machine Independent Algorithm for Code Generation and its Use in Retargetable Compilers. Dissertation, Report UCB-CS-78-01, University of California, Berkeley 1977."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"R.S. Glanville, S.L. Graham: A new method for compiler code generation. Proceedings 5th ACM Symposium on Principles of Programming Languages, pp. 231\u2013240, 1977.","DOI":"10.1145\/512760.512785"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Ph. J. Hatcher, Th. W. Christopher: High quality code generation via bottom-up tree pattern matching. Proceedings SIGPLAN 86 Symposium on Compiler Construction, SIGPLAN Notices 21, 6, 1986.","DOI":"10.1145\/512644.512655"},{"key":"17_CR17","unstructured":"R.R. Henry: Graham-Glanville code generators. Dissertation, Report UCB-CSD-84-184, Berkeley 1984."},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Ch. Hoffman, M. O'Donnell: Pattern matching in trees. JACM, pp.68\u201395, 1982.","DOI":"10.1145\/322290.322295"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"N. Horspool: An alternative to the Graham-Glanville code-generation method. IEEE Software, pp. 33\u201339, May 1987.","DOI":"10.1109\/MS.1987.230704"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"G. Huet, J.-M. Hullot: Proofs by induction in equational theories with constructors. Proceedings 21st SFCS, Lake Placid, pp 96\u2013107, 1980.","DOI":"10.1109\/SFCS.1980.37"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"G. Huet, D.C. Oppen: Equations and rewrite rules: A survey. In R. Book (ed.): Formal language theory: Perspectives and open problems. Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"17_CR22","unstructured":"H. Kron: Tree templates and subtree transformational grammars. Dissertation, UC Santa Cruz, 1975."},{"key":"17_CR23","unstructured":"M. Mazaud, R. Rakatozafy, A. Szumachowski-Despland: Code Generation Based on Template-Driven Target Term Rewriting; Rapport de Recherche, INRIA, 1986."},{"key":"17_CR24","volume-title":"Formale Beschreibung von Maschinen, Implementierungen und optimierender Maschinencodeerzeugung aus attributuerten Programmgraphen","author":"K. Ripken","year":"1977","unstructured":"K. Ripken: Formale Beschreibung von Maschinen, Implementierungen und optimierender Maschinencodeerzeugung aus attributuerten Programmgraphen. Dissertation, TUM-INFO-7731, Institut f\u00fcr Informatik, TU M\u00fcnchen, 1977."},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"P. Rety, C. Kirchner, H. Kirchner, P. Lescanne: NARROWER: a new algorithm for unification and its application to logic programming. Proc. 1st Conference on Rewriting Techniques and Applications, LNCS 202, Springer Verlag, pp. 141\u2013157, 1985.","DOI":"10.1007\/3-540-15976-2_7"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"P.K. Turner: Up-down parsing with prefix grammars. SIGPLAN Notices 21, (12), 1986.","DOI":"10.1145\/15042.15054"},{"key":"17_CR27","unstructured":"B. Weisgerber: Private communication."},{"key":"17_CR28","unstructured":"B. Weisgerber, R. Wilhelm: Two tree pattern matchers for code generation. Internal Report, University Saarbr\u00fccken, 1986."}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:10Z","timestamp":1605644170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}