{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T15:08:16Z","timestamp":1790521696004,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642119699","type":"print"},{"value":"9783642119705","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11970-5_4","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:23:33Z","timestamp":1268007813000},"page":"46-65","source":"Crossref","is-referenced-by-count":40,"title":["Optimizing Matlab through Just-In-Time Specialization"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Chevalier-Boisvert","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Clark","family":"Verbrugge","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Lattner, C.: LLVM: An infrastructure for multi-stage optimization. Master\u2019s thesis, Comp. Sci. Dept., U. of Illinois at Urbana-Champaign (December 2002)"},{"key":"4_CR2","unstructured":"Boehm, H., Spertus, M.: Transparent programmer-directed garbage collection for C++ (2007)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"1916","DOI":"10.1145\/1529282.1529709","volume-title":"SAC 2009","author":"P. Biggar","year":"2009","unstructured":"Biggar, P., de Vries, E., Gregg, D.: A practical solution for scripting language compilers. In: SAC 2009, pp. 1916\u20131923. ACM, New York (2009)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1145\/512529.512564","volume-title":"PLDI 2002","author":"G. Alm\u00e1si","year":"2002","unstructured":"Alm\u00e1si, G., Padua, D.: MaJIC: compiling MATLAB for speed and responsiveness. In: PLDI 2002, pp. 294\u2013303. ACM, New York (2002)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/978-3-540-39815-8_21","volume-title":"Generative Programming and Component Engineering","author":"D. Elphick","year":"2003","unstructured":"Elphick, D., Leuschel, M., Cox, S.: Partial evaluation of MATLAB. In: Pfenning, F., Smaragdakis, Y. (eds.) GPCE 2003. LNCS, vol.\u00a02830, pp. 344\u2013363. Springer, Heidelberg (2003)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BFb0014205","volume-title":"Languages and Compilers for Parallel Computing","author":"L. Derose","year":"1996","unstructured":"Derose, L., Rose, L.D., Gallivan, K., Gallivan, K., Gallopoulos, E., Gallopoulos, E., Marsolf, B., Marsolf, B., Padua, D., Padua, D.: FALCON: A MATLAB interactive restructuring compiler. In: Huang, C.-H., Sadayappan, P., Banerjee, U., Gelernter, D., Nicolau, A., Padua, D.A. (eds.) LCPC 1995. LNCS, vol.\u00a01033, pp. 269\u2013288. Springer, Heidelberg (1996)"},{"key":"4_CR7","first-page":"115","volume-title":"CGO 2007","author":"N. Birkbeck","year":"2007","unstructured":"Birkbeck, N., Levesque, J., Amaral, J.N.: A dimension abstraction approach to vectorization in MATLAB. In: CGO 2007, pp. 115\u2013130. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"5","key":"4_CR8","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1002\/spe.781","volume":"37","author":"P.G. Joisha","year":"2007","unstructured":"Joisha, P.G., Banerjee, P.: A translator system for the MATLAB language: Research articles. Softw. Pract. Exper.\u00a037(5), 535\u2013578 (2007)","journal-title":"Softw. Pract. Exper."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1145\/237578.237627","volume-title":"ICS 1996","author":"L.D. Rose","year":"1996","unstructured":"Rose, L.D., Padua, D.: A MATLAB to Fortran 90 translator and its effectiveness. In: ICS 1996, pp. 309\u2013316. ACM, New York (1996)"},{"issue":"5","key":"4_CR10","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1145\/1152649.1152651","volume":"28","author":"P.G. Joisha","year":"2006","unstructured":"Joisha, P.G., Banerjee, P.: An algebraic array shape inference system for MATLAB\u00ae. ACM Trans. Program. Lang. Syst.\u00a028(5), 848\u2013907 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Haldar, M., Nayak, A., Kanhere, A., Joisha, P., Shenoy, N., Choudhary, A., Banerjee, P.: Match virtual machine: An adaptive runtime system to execute MATLAB in parallel. In: ICPP 2000, pp. 145\u2013152 (2000)","DOI":"10.1109\/ICPP.2000.876100"},{"key":"4_CR12","volume-title":"Partial evaluation and automatic program generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial evaluation and automatic program generation. Prentice-Hall, Inc., Englewood Cliffs (1993)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Cooper, K.D., Hall, M.W., Kennedy, K.: Procedure cloning. Computer Languages, 96\u2013105 (1992)","DOI":"10.1016\/0096-0551(93)90005-L"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Chauhan, A., McCosh, C., Kennedy, K., Hanson, R.: Automatic type-driven library generation for telescoping languages. In: SC 2003, vol.\u00a01, pp. 58113\u2013695 (1917)","DOI":"10.1145\/1048935.1050201"},{"issue":"7","key":"4_CR15","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/74818.74831","volume":"24","author":"C. Chambers","year":"1989","unstructured":"Chambers, C., Ungar, D.: Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. SIGPLAN Not.\u00a024(7), 146\u2013160 (1989)","journal-title":"SIGPLAN Not."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/378795.378797","volume-title":"PLDI 2001","author":"A. Kennedy","year":"2001","unstructured":"Kennedy, A., Syme, D.: Design and implementation of generics for the.NET Common Language Runtime. In: PLDI 2001, pp. 1\u201312. ACM, New York (2001)"},{"issue":"10","key":"4_CR17","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1145\/1103845.1094837","volume":"40","author":"A. Shankar","year":"2005","unstructured":"Shankar, A., Sastry, S.S., Bod\u00edk, R., Smith, J.E.: Runtime specialization with optimistic heap analysis. SIGPLAN Not.\u00a040(10), 327\u2013343 (2005)","journal-title":"SIGPLAN Not."},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/778559.778561","volume":"25","author":"U. Schultz","year":"2003","unstructured":"Schultz, U., Consel, C.: Automatic program specialization for Java. ACM Trans. Program. Lang. Syst.\u00a025(4), 452\u2013499 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1014007.1014010","volume-title":"PEPM 2004","author":"A. Rigo","year":"2004","unstructured":"Rigo, A.: Representation-based just-in-time specialization and the Psyco prototype for Python. In: PEPM 2004, pp. 15\u201326. ACM, New York (2004)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/1244381.1244389","volume-title":"PEPM 2007","author":"J. Carette","year":"2007","unstructured":"Carette, J., Kucera, M.: Partial evaluation of Maple. In: PEPM 2007, pp. 41\u201350. ACM, New York (2007)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/1542476.1542528","volume-title":"PLDI 2009","author":"A. Gal","year":"2009","unstructured":"Gal, A., Eich, B., Shaver, M., Anderson, D., Mandelin, D., Haghighat, M.R., Kaplan, B., Hoare, G., Zbarsky, B., Orendorff, J., Ruderman, J., Smith, E.W., Reitmaier, R., Bebenita, M., Chang, M., Franz, M.: Trace-based just-in-time type specialization for dynamic languages. In: PLDI 2009, pp. 465\u2013478. ACM, New York (2009)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Duggan, D., Bent, F.: Explaining type inference. Science of Computer Programming, 37\u201383 (1996)","DOI":"10.1016\/0167-6423(95)00007-0"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/236337.236371","volume-title":"OOPSLA 1996","author":"D.F. Bacon","year":"1996","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: OOPSLA 1996, pp. 324\u2013341. ACM, New York (1996)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/353171.353190","volume-title":"OOPSLA 2000","author":"F. Tip","year":"2000","unstructured":"Tip, F., Palsberg, J.: Scalable propagation-based call graph construction algorithms. In: OOPSLA 2000, pp. 281\u2013293. ACM, New York (2000)"},{"key":"4_CR25","unstructured":"Singer, J.: Sparse bidirectional data flow analysis as a basis for type inference. In: Web proceedings of the Applied Semantics Workshop (2004)"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/570407.570408","volume-title":"APL 2001","author":"P.G. Joisha","year":"2001","unstructured":"Joisha, P.G., Banerjee, P.: Correctly detecting intrinsic type errors in typeless languages such as MATLAB. In: APL 2001, pp. 7\u201321. ACM, New York (2001)"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"1859","DOI":"10.1145\/1529282.1529700","volume-title":"SAC 2009","author":"M. Furr","year":"2009","unstructured":"Furr, M., An, J.h.D., Foster, J.S., Hicks, M.: Static type inference for Ruby. In: SAC 2009, pp. 1859\u20131866. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11970-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T01:37:43Z","timestamp":1739929063000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11970-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119699","9783642119705"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11970-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}