{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:09:48Z","timestamp":1760044188905},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401902"},{"type":"electronic","value":"9783540448549"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44854-3_9","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:56:07Z","timestamp":1184601367000},"page":"134-149","source":"Crossref","is-referenced-by-count":1,"title":["Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Lindahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"issue":"4","key":"9_CR1","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Syst., 13(4):451\u2013490, Oct. 1991.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1017\/S0956796800001891","volume":"6","author":"P. H. Hartel","year":"1996","unstructured":"P. H. Hartel et al. Benchmarking imlementations of functional languages with \u201cpseudoknot\u201d, a float intensive program. Journal of Functional Programming, 6(4):621\u2013655, July 1996.","journal-title":"Journal of Functional Programming"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"F. Henglein and J. J\u00f8rgensen. Formally optimal boxing. In Conference Record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 213\u2013226. ACM Press, Jan. 1994.","DOI":"10.1145\/174675.177874"},{"key":"9_CR4","unstructured":"Intel Corporation. Intel Pentium 4 and Intel Xeon Processor Optimization Reference Manual, 2002. Document number 248966-05."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"E. Johansson, M. Pettersson, and K. Sagonas. HiPE: A High Performance Erlang system. In Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 32\u201343. ACM Press, Sept. 2000.","DOI":"10.1145\/351268.351273"},{"key":"9_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/3-540-45587-6_8","volume-title":"Practical Applications of Declarative Languages: Proceedings of the PADL\u20192002 Symposium","author":"E. Johansson","year":"2002","unstructured":"E. Johansson and K. Sagonas. Linear scan register allocation in a high performance Erlang compiler. In Practical Applications of Declarative Languages: Proceedings of the PADL\u20192002 Symposium, number 2257 in LNCS, pages 299\u2013317. Springer, Jan. 2002."},{"key":"9_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1007\/3540543961_30","volume-title":"Proceedings of the 5th ACM Conference on Functional Languages and Computer Architecture","author":"S. L. P. Jones","year":"1991","unstructured":"S. L. P. Jones and J. Launchbury. Unboxed values as first class citizens in a non-strict functional language. In J. Hughes, editor, Proceedings of the 5th ACM Conference on Functional Languages and Computer Architecture, number 523 in LNCS, pages 636\u2013666. Springer, Aug. 1991."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"X. Leroy. Unboxed values and polymorphic typing. In Conference Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, pages 177\u2013188. ACM Press, Jan. 1992.","DOI":"10.1145\/143165.143205"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"X. Leroy. The effectiveness of type-based unboxing. In Workshop Types in Compilation\u201997, June 1997.","DOI":"10.1007\/BFb0055508"},{"key":"9_CR10","unstructured":"A. Leung and L. George. Some notes on the new MLRISC x86 floating point code generator (draft). Unpublished technical report available from: http:\/\/cm.bell-labs.com\/cm\/cs\/what\/smlnj\/compiler-notes\/ ."},{"key":"9_CR11","volume-title":"Advanced Compiler Design & Implementation","author":"S. S. Muchnick","year":"1997","unstructured":"S. S. Muchnick. Advanced Compiler Design & Implementation. Morgan Kaufman Publishers, San Fransisco, CA, 1997."},{"key":"9_CR12","unstructured":"M. Pettersson. A staged tag scheme for Erlang. Technical Report 029, InformationTechnology Department, Uppsala University, Nov. 2000."},{"key":"9_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-45788-7_14","volume-title":"Proceedings of the Sixth International Symposium on Functional and Logic Programming","author":"M. Pettersson","year":"2002","unstructured":"M. Pettersson, K. Sagonas, and E. Johansson. The HiPE\/x86 Erlang compiler: System description and performance evaluation. In Z. Hu and M. Rodr\u00edguez-Artalejo, editors, Proceedings of the Sixth International Symposium on Functional and Logic Programming, number 2441 in LNCS, pages 228\u2013244. Springer, Sept. 2002."},{"issue":"5","key":"9_CR14","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1145\/330249.330250","volume":"21","author":"M. Poletto","year":"1999","unstructured":"M. Poletto and V. Sarkar. Linear scan register allocation. ACM Trans. Prog. Lang. Syst., 21(5): 895\u2013913, Sept. 1999.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Z. Shao and A. W. Appel. A type-based compiler for Standard ML. In Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation, pages 116\u2013129. ACM Press, June 1995.","DOI":"10.1145\/207110.207123"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44854-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:15:22Z","timestamp":1556680522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44854-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401902","9783540448549"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44854-3_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}