{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:02Z","timestamp":1725664322209},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603603"},{"type":"electronic","value":"9783540450504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60360-3_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:19:40Z","timestamp":1330280380000},"page":"366-381","source":"Crossref","is-referenced-by-count":12,"title":["Bigloo: a portable and optimizing compiler for strict functional languages"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Serrano","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Weis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"A. Appel. Compiling with continuations. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511609619"},{"key":"23_CR2","unstructured":"Eastern Research Apple Computer and Technology. Dylan, An object-oriented dynamic language. Apple Computer, Inc., April 1992."},{"key":"23_CR3","volume-title":"Research Report 89 1","author":"J. F. Bartlett","year":"1989","unstructured":"J.F. Bartlett. Scheme->C a Portable Scheme-to-C Compiler. Research Report 89 1, DEC Western Research Laboratory, Palo Alto, California, January 1989."},{"issue":"6","key":"23_CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/173262.155109","volume":"28","author":"H. J. Boehm","year":"1991","unstructured":"H.J. Boehm. Space efficient conservative garbage collection. In ACM Conference on Programming Language Design and Implementation, SIGPLAN Notices 28, 6, pages 197\u2013206, 1991.","journal-title":"ACM Conference on Programming Language Design and Implementation, SIGPLAN Notices"},{"key":"23_CR5","volume-title":"Technical Report L-003","author":"J. Chailloux","year":"1986","unstructured":"J. Chailloux, M. Devin, F. Dupont, J.M. Hullot, B. Serpette, and J. Vuillemin. Le_lisp version 15.2. le manuel de r\u00e9f\u00e9rence. Technical Report L-003, INRIA-Rocquencourt, France, 1986."},{"key":"23_CR6","volume-title":"Workshop on ML and its applications","author":"R. Cridlig","year":"1992","unstructured":"R. Cridlig. An optimizing ML to C compiler. In Workshop on ML and its applications, San Francisco, California, USA, 1992. ACM SIGPLAN."},{"key":"23_CR7","volume-title":"Technical Report 154","author":"G. Dowek","year":"1993","unstructured":"G. Dowek, A. Felty, H. Herbelin, and G. Huet. The COQ proof assistant user's guide. Technical Report 154, Inria-Rocquencourt, France, 1993."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"X. Leroy. Unboxed objects and polymorphic typing. In Symposium on Principles of Programming Languages, pages 177\u2013188, Albuquerque, New Mexico, January 1992.","DOI":"10.1145\/143165.143205"},{"key":"23_CR9","volume-title":"Technical report","author":"R. A. MacLachlan","year":"1992","unstructured":"R.A. MacLachlan. CMU Common Lisp User's Manual. Technical report, Carnegie Mellon University, Pittsburgh, PA 15213, USA, May 1992."},{"key":"23_CR10","unstructured":"C. Queinnec. Designing meroon v3. In Christian Rathke, J\u00fcrgen Kopp, Hubertus Hohl, and Harry Bretthauer, editors, Object-Oriented Programming in Lisp: Languages and Applications. A Report on the ECOOP'93 Workshop, Sankt Augustin (Germany), September 1993."},{"key":"23_CR11","volume-title":"PhD thesis","author":"N. S\u00e9niak","year":"1991","unstructured":"N. S\u00e9niak. Th\u00e9orie et pratique de Sqil: un langage interm\u00e9diaire pour la compilation des langages fonctionnels. PhD thesis, Universit\u00e9 Pierre et Marie Curie (Paris VI), November 1991."},{"key":"23_CR12","volume-title":"PhD thesis","author":"M. Serrano","year":"1994","unstructured":"M. Serrano. Vers une compilation portable et performante des langages fonctionnels. PhD thesis, Universit\u00e9 Pierre et Marie Curie (Paris VI), December 1994."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"M. Serrano. Control Flow Analysis: a Functional Languages Compilation Paradigm. In Symposium on Applied Computing (SAC '95), Nashville, Tennessee, USA, February 1995.","DOI":"10.1145\/315891.315934"},{"key":"23_CR14","unstructured":"M. Serrano and P. Weis. 1 + 1=1: an optimizing Caml compiler. In ACM SIGPLAN Workshop on ML and its Applications, pages 101\u2013111, Orlando (Florida, USA), 1994. INRIA RR 2265."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"O. Shivers. Control flow analysis in scheme. In Conference on Programming Language Design and Implementation, Atlanta, Georgia, June 1988.","DOI":"10.1145\/53990.54007"},{"key":"23_CR16","volume-title":"Ieee Standard for the Scheme Programming Language","author":"IEEE Std 1178-1990","year":"1991","unstructured":"IEEE Std 1178-1990. Ieee Standard for the Scheme Programming Language. Institute of Electrical and Electronic Engineers, Inc., New York, NY, 1991."},{"key":"23_CR17","volume-title":"Technical Report CMU-CS-90-187","author":"D. Tarditi","year":"1991","unstructured":"D. Tarditi, A. Acharya, and P. Lee. No assembly required: Compiling Standard ML to C. Technical Report CMU-CS-90-187, Carnegie Mellon University, Pittsburg, Pennsylvania, School of Computer Science, March 1991."},{"key":"23_CR18","unstructured":"P. Weis. The CAML Reference manual, Version 2.6.1. Technical Report 121, INRIA-Rocquencourt, 1990."},{"key":"23_CR19","volume-title":"Le langage CAML","author":"P. Weis","year":"1993","unstructured":"P. Weis and X. Leroy. Le langage CAML. InterEditions, Paris, 1993."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60360-3_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:28Z","timestamp":1605646708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60360-3_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603603","9783540450504"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60360-3_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}