{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:45Z","timestamp":1725558945022},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540243625"},{"type":"electronic","value":"9783540305576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30557-6_1","type":"book-chapter","created":{"date-parts":[[2010,7,2]],"date-time":"2010-07-02T17:53:17Z","timestamp":1278093197000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction"],"prefix":"10.1007","author":[{"given":"Norman","family":"Ramsey","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Benitez, M.E., Davidson, J.W.: A portable global optimizer and linker. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, July 1988, vol.\u00a023(7), pp. 329\u2013338 (1988)","DOI":"10.1145\/53990.54023"},{"issue":"4","key":"1_CR2","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 Transactions on Programming Languages and Systems\u00a06(4), 505\u2013526 (1984)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR3","unstructured":"Feigenbaum, L.D.: Automated translation: Generating a code generator. Technical Report TR-12-01, Harvard University, Computer Science Technical Reports (April 2001)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, M.F., Ramsey, N.: Automatic checking of instruction specifications. In: Proceedings of the International Conference on Software Engineering, pp. 326\u2013336 (1997)","DOI":"10.1145\/253228.253300"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Ramsey, N.: Relocating machine instructions by currying. In: ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, vol.\u00a031(5), pp. 226\u2013236 (May 1996a)","DOI":"10.1145\/231379.231429"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Ramsey, N.: A simple solver for linear equations containing nonlinear operators. Software \u2013 Practice & Experience\u00a026(4), 467\u2013487 (April 1996b)","DOI":"10.1002\/(SICI)1097-024X(199604)26:4<467::AID-SPE17>3.0.CO;2-M"},{"issue":"3","key":"1_CR7","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1017\/S0956796802004628","volume":"13","author":"N. Ramsey","year":"2003","unstructured":"Ramsey, N.: Pragmatic aspects of reusable program generators. Journal of Functional Programming\u00a013(3), 601\u2013646 (2003); In: Taha, W. (ed.) SAIG 2000. LNCS, vol.\u00a01924, pp. 149\u2013171. Springer, Heidelberg (2000)","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1145\/641888.641890","volume":"25","author":"N. Ramsey","year":"2003","unstructured":"Ramsey, N., Cifuentes, C.: A transformational approach to binary translation of delayed branches. ACM Transactions on Programming Languages and Systems\u00a025(2), 210\u2013224 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/BFb0057790","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)"},{"key":"1_CR10","unstructured":"Ramsey, N., Davidson, J.W., Fern\u00e1ndez, M.F.: Design principles for machine-description languages (2001), Unpublished draft available from, http:\/\/www.eecs.harvard.edu\/nr\/pubs\/desprin-abstract.html"},{"key":"1_CR11","unstructured":"Ramsey, N., Fern\u00e1ndez, M.F.: The New Jersey Machine- Code Toolkit. In: Proceedings of the 1995 USENIX Technical Conference, New Orleans, LA, pp. 289\u2013302 (January 1995)"},{"issue":"3","key":"1_CR12","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 Transactions on Programming Languages and Systems\u00a019(3), 492\u2013524 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-24723-4_16","volume-title":"Compiler Construction","author":"K. Redwine","year":"2004","unstructured":"Redwine, K., Ramsey, N.: Widening integer arithmetic. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol.\u00a02985, pp. 232\u2013249. Springer, Heidelberg (2004)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Smith, M.D., Ramsey, N., Holloway, G.: A generalized algorithm for graph-coloring register allocation. In: ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, in SIGPLAN Notices, vol.\u00a039(6), pp. 277\u2013288 (2004)","DOI":"10.1145\/996841.996875"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30557-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:22:12Z","timestamp":1605759732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30557-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540243625","9783540305576"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30557-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}