{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:46Z","timestamp":1772164006523,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,17]],"date-time":"2010-01-17T00:00:00Z","timestamp":1263686400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,1,17]]},"DOI":"10.1145\/1706299.1706346","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T15:15:04Z","timestamp":1263914104000},"page":"403-416","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Automatically generating instruction selectors using declarative machine descriptions"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o","family":"Dias","sequence":"first","affiliation":[{"name":"Tufts University, Medford, USA"}]},{"given":"Norman","family":"Ramsey","sequence":"additional","affiliation":[{"name":"Tufts University, Medford, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,1,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/69558.75700"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/249069.231409"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1245304"},{"key":"e_1_3_2_1_4_1","first-page":"105","volume-title":"1994 (March). The advantages of machine-dependent global optimization. In phProgramming Languages and System Architectures, phLNCS","author":"Benitez Manuel E.","unstructured":"Manuel E. Benitez and Jack W. Davidson . 1994 (March). The advantages of machine-dependent global optimization. In phProgramming Languages and System Architectures, phLNCS volume 782 , pages 105 -- 124 . Springer Verlag . Manuel E. Benitez and Jack W. Davidson. 1994 (March). The advantages of machine-dependent global optimization. In phProgramming Languages and System Architectures, phLNCS volume 782, pages 105--124. Springer Verlag."},{"key":"e_1_3_2_1_5_1","volume-title":"Jan Willem Klop, and Roel de Vrijer","author":"Bezem Mark","year":"2003","unstructured":"Mark Bezem , Jan Willem Klop, and Roel de Vrijer , editors. 2003 . phTerm Rewriting Systems. Cambridge University Press , Cambridge, UK. Mark Bezem, Jan Willem Klop, and Roel de Vrijer, editors. 2003. phTerm Rewriting Systems. Cambridge University Press, Cambridge, UK."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/357094.357097"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.88"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/832306.837055"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/258916.258922"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/368924.368928"},{"key":"e_1_3_2_1_11_1","volume-title":"Personal communication","author":"Davidson Jack W.","year":"2008","unstructured":"Jack W. Davidson . 2008. Personal communication , 14 November 2008 . Jack W. Davidson. 2008. Personal communication, 14 November 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/357094.357098"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1780.1783"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_18"},{"key":"e_1_3_2_1_16_1","volume-title":"A Discipline of Programming","author":"Dijkstra Edsger W.","unstructured":"Edsger W. Dijkstra . 1976. A Discipline of Programming . Prentice-Hall , Englewood Cliffs, NJ . Edsger W. Dijkstra. 1976. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74838"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253300"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207121"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74839"},{"key":"e_1_3_2_1_22_1","volume-title":"Hanson","author":"Fraser Christopher W.","year":"1995","unstructured":"Christopher W. Fraser and David R . Hanson . 1995 . A Retargetable C Compiler: Design and Implementation. Benjamin\/Cummings, Redwood City, CA. Christopher W. Fraser and David R. Hanson. 1995. A Retargetable C Compiler: Design and Implementation. Benjamin\/Cummings, Redwood City, CA."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/151640.151642"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/131080.131089"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143146"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237779"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186633"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24723-4_20"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/36206.36194"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111073"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73586"},{"key":"e_1_3_2_1_33_1","first-page":"172","volume-title":"ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'98)","volume":"1474","author":"Ramsey Norman","unstructured":"Norman Ramsey and Jack W. Davidson . 1998 (June). Machine descriptions to build tools for embedded systems . In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'98) , LNCS volume 1474 , pages 172 -- 188 . Springer Verlag. Norman Ramsey and Jack W. Davidson. 1998 (June). Machine descriptions to build tools for embedded systems. In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'98), LNCS volume 1474, pages 172--188. Springer Verlag."},{"key":"e_1_3_2_1_34_1","first-page":"289","volume-title":"The New Jersey Machine-Code Toolkit. In Proceedings of the 1995 USENIX Technical Conference","author":"Ramsey Norman","unstructured":"Norman Ramsey and Mary F. Fern\u00e1ndez . 1995 (January) . The New Jersey Machine-Code Toolkit. In Proceedings of the 1995 USENIX Technical Conference , pages 289 -- 302 . Norman Ramsey and Mary F. Fern\u00e1ndez. 1995 (January). The New Jersey Machine-Code Toolkit. In Proceedings of the 1995 USENIX Technical Conference, pages 289--302."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256225"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349337"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/996893.996875"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/368892.368915"},{"key":"e_1_3_2_1_39_1","unstructured":"Henry S. Warren. 2003. Hacker's Delight. Addison-Wesley.   Henry S. Warren. 2003. Hacker's Delight. Addison-Wesley."}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Madrid Spain","acronym":"POPL '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706346","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1706299.1706346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:26:19Z","timestamp":1750263979000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,17]]},"references-count":37,"alternative-id":["10.1145\/1706299.1706346","10.1145\/1706299"],"URL":"https:\/\/doi.org\/10.1145\/1706299.1706346","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1707801.1706346","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,1,17]]},"assertion":[{"value":"2010-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}