{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:55Z","timestamp":1725544015365},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330509"},{"type":"electronic","value":"9783540330516"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11688839_18","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T12:41:48Z","timestamp":1143549708000},"page":"217-231","source":"Crossref","is-referenced-by-count":6,"title":["Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o","family":"Dias","sequence":"first","affiliation":[]},{"given":"Norman","family":"Ramsey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/3-540-57840-4_27","volume-title":"Programming Languages and System Architectures","author":"M.E. Benitez","year":"1994","unstructured":"Benitez, M.E., Davidson, J.W.: The advantages of machine-dependent global optimization. In: Gutknecht, J. (ed.) Programming Languages and System Architectures. LNCS, vol.\u00a0782, pp. 105\u2013124. Springer, Heidelberg (1994)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Ceng, J., Hohenauer, M., Leupers, R., Ascheid, G., Meyr, H., Braun, G.: C\u00a0Compiler Retargeting Based on Instruction Semantics Models. In: DATE 2005, March 2005, pp. 1150\u20131155 (2005)","DOI":"10.1109\/DATE.2005.88"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Chase, D.R.: An improvement to bottom-up tree pattern matching. In: POPL 1987, pp. 168\u2013177 (1987)","DOI":"10.1145\/41625.41640"},{"issue":"4","key":"18_CR4","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1145\/1780.1783","volume":"6","author":"J.W. Davidson","year":"1984","unstructured":"Davidson, J.W., Fraser, C.W.: Code selection through object code optimization. ACM TOPLAS\u00a06(4), 505\u2013526 (1984)","journal-title":"ACM TOPLAS"},{"key":"18_CR5","unstructured":"Eddy, J.: A continuation-passing operator tree for pattern matching. Senior Thesis, Division of Engineering and Applied Sciences, Harvard University (April 2002)"},{"key":"18_CR6","unstructured":"Feigenbaum, L.D.: Automated translation: generating a code generator. Senior Thesis, Division of Engineering and Applied Sciences, Harvard University (April 2001)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, M.F., Ramsey, N.: Automatic checking of instruction specifications. In: ICSE 1997, May 1997, pp. 326\u2013336 (1997)","DOI":"10.1145\/253228.253300"},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/151640.151642","volume":"1","author":"C.W. Fraser","year":"1992","unstructured":"Fraser, C.W., Hanson, D.R., Proebsting, T.A.: Engineering a simple, efficient code-generator generator. ACM LOPLAS\u00a01(3), 213\u2013226 (1992)","journal-title":"ACM LOPLAS"},{"issue":"4","key":"18_CR9","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/131080.131089","volume":"27","author":"C.W. Fraser","year":"1992","unstructured":"Fraser, C.W., Henry, R.R., Proebsting, T.A.: BURG\u2014fast optimal instruction selection and tree parsing. SIGPLAN Notices\u00a027(4), 68\u201376 (1992)","journal-title":"SIGPLAN Notices"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Steven Glanville, R., Graham, S.L.: A new method for compiler code generation. In: POPL 1978, January 1978, pp. 231\u2013240 (1978)","DOI":"10.1145\/512760.512785"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Hoffmann, C.M., O\u2019Donnell, M.J.: Pattern matching in trees. JACM\u00a029(1) (1982)","DOI":"10.1145\/322290.322295"},{"key":"18_CR12","volume-title":"MIPS RISC Architectures","author":"G. Kane","year":"1992","unstructured":"Kane, G., Heinrich, J.: MIPS RISC Architectures. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-24723-4_20","volume-title":"Compiler Construction","author":"C. Lindig","year":"2004","unstructured":"Lindig, C., Ramsey, N.: Declarative composition of stack frames. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, pp. 298\u2013312. Springer, Heidelberg (2004)"},{"issue":"7","key":"18_CR14","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/143095.143145","volume":"27","author":"T.A. Proebsting","year":"1992","unstructured":"Proebsting, T.A.: Simple and efficient BURS table generation. PLDI 1992, SIGPLAN Notices\u00a027(7), 331\u2013340 (1992)","journal-title":"PLDI 1992, SIGPLAN Notices"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","first-page":"172","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"N. Ramsey","year":"1998","unstructured":"Ramsey, N., Davidson, J.W.: Machine descriptions to build tools for embedded systems. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, pp. 172\u2013188. Springer, Heidelberg (1998)"},{"issue":"3","key":"18_CR16","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1145\/256167.256225","volume":"19","author":"N. Ramsey","year":"1997","unstructured":"Ramsey, N., Fern\u00e1ndez, M.F.: Specifying representations of machine instructions. ACM TOPLAS\u00a019(3), 492\u2013524 (1997)","journal-title":"ACM TOPLAS"},{"key":"18_CR17","unstructured":"Scott, K., Ramsey, N.: When do match-compilation heuristics matter? Technical Report CS-2000-13, Department of Computer Science, University of Virginia (May 2000)"},{"key":"18_CR18","unstructured":"Tr\u00f6ger, J.: Specification-Driven Dynamic Binary Translation. PhD thesis, Queensland University of Technology, Brisbane, Australia (2004)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11688839_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T21:46:46Z","timestamp":1683409606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11688839_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330509","9783540330516"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11688839_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}