{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:41Z","timestamp":1725560441245},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212973"},{"type":"electronic","value":"9783540247234"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24723-4_16","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:14:24Z","timestamp":1280276064000},"page":"232-249","source":"Crossref","is-referenced-by-count":4,"title":["Widening Integer Arithmetic"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Redwine","sequence":"first","affiliation":[]},{"given":"Norman","family":"Ramsey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Bacon, D.F.: Kava: A Java dialect with a uniform object model for lightweight classes. In: Proceedings of the Joint ACM Java Grande\/ISCOPE Conference, Stanford, California, June 2001, pp. 68\u201377 (2001)","DOI":"10.1145\/376656.376812"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1007\/3-540-44520-X_137","volume-title":"Euro-Par 2000 Parallel Processing","author":"M. Budiu","year":"2000","unstructured":"Budiu, M., Sakr, M., Walker, K., Goldstein, S.C.: BitValue inference: Detecting and exploiting narrow bitwidth computations. In: Bode, A., Ludwig, T., Karl, W.C., Wism\u00fcller, R. (eds.) Euro-Par 2000. LNCS, vol.\u00a01900, pp. 969\u2013979. Springer, Heidelberg (2000)"},{"key":"16_CR3","volume-title":"A Retargetable C Compiler: Design and Implementation","author":"C.W. Fraser","year":"1995","unstructured":"Fraser, C.W., Hanson, D.R.: A Retargetable C Compiler: Design and Implementation. Benjamin\/Cummings, Redwood City (1995); ISBN 0-8053- 1670-1"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Kawahito, M., Komatsu, H., Nakatani, T.: Effective sign extension elimination. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, May 2002. SIGPLAN Notices, vol.\u00a037(5), pp. 187\u2013198 (2002); ISSN 0362-1340","DOI":"10.1145\/543552.512552"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10704567_1","volume-title":"Principles and Practice of Declarative Programming","author":"S.L.P. Jones","year":"1999","unstructured":"Jones, S.L.P., Ramsey, N., Reig, F.: C\u2013: a portable assembly language that supports garbage collection. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 1\u201328. Springer, Heidelberg (1999)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","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. 176\u2013188. Springer, Heidelberg (1998)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Jones, S.L.P.: A single intermediate language that supports multiple implementations of exceptions. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, May 2000. SIGPLAN Notices, vol.\u00a035(5), pp. 285\u2013298 (2000)","DOI":"10.1145\/358438.349337"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Razdan, R., Smith, M.D.: A high-performance microarchitecture with hardware-programmable functional units. In: Proceedings of the 27th Annual International Symposium on Microarchitecture, November 1994, pp. 172\u2013180. IEEE\/ACM (1994)","DOI":"10.1145\/192724.192749"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Redwine, K., Ramsey, N.: Widening integer arithmetic. Technical Report TR-01-04, Division of Engineering and Applied Sciences, Harvard University (January 2004)","DOI":"10.1007\/978-3-540-24723-4_16"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Stephenson, M., Babb, J., Amarasinghe, S.P.: Bitwidth analysis with application to silicon compilation. In: Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, May 2000. SIGPLAN Notices, vol.\u00a035(5), pp. 108\u2013120 (2000)","DOI":"10.1145\/358438.349317"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24723-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:29:29Z","timestamp":1559330969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24723-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212973","9783540247234"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24723-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}