{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T21:40:29Z","timestamp":1743630029938,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310560"},{"type":"electronic","value":"9783642310577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31057-7_7","type":"book-chapter","created":{"date-parts":[[2012,6,28]],"date-time":"2012-06-28T11:17:41Z","timestamp":1340882261000},"page":"132-155","source":"Crossref","is-referenced-by-count":11,"title":["McSAF: A Static Analysis Framework for MATLAB"],"prefix":"10.1007","author":[{"given":"Jesse","family":"Doherty","sequence":"first","affiliation":[]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"GNU Octave, http:\/\/www.gnu.org\/software\/octave\/index.html","key":"7_CR1"},{"unstructured":"JastAdd, http:\/\/jastadd.org\/","key":"7_CR2"},{"unstructured":"McLAB (2011), http:\/\/www.sable.mcgill.ca\/mclab\/","key":"7_CR3"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1145\/512529.512564","volume-title":"Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation","author":"G. Alm\u00e1si","year":"2002","unstructured":"Alm\u00e1si, G., Padua, D.: MaJIC: compiling MATLAB for speed and responsiveness. In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pp. 294\u2013303. ACM, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Casey, A., Hendren, L.: MetaLexer: A modular lexical specification language. In: AOSD, pp. 7\u201318 (2011)","key":"7_CR5","DOI":"10.1145\/1960275.1960279"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-11970-5_4","volume-title":"Compiler Construction","author":"M. Chevalier-Boisvert","year":"2010","unstructured":"Chevalier-Boisvert, M., Hendren, L., Verbrugge, C.: Optimizing Matlab through Just-In-Time Specialization. In: Gupta, R. (ed.) CC 2010. LNCS, vol.\u00a06011, pp. 46\u201365. Springer, Heidelberg (2010)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0014205","volume-title":"Languages and Compilers for Parallel Computing","author":"L. Derose","year":"1996","unstructured":"Derose, L., De Rose, L., 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)"},{"doi-asserted-by":"crossref","unstructured":"Doherty, J.: McSAF: An extensible static analysis framework for the MATLAB language. Master\u2019s thesis. McGill University (December 2011)","key":"7_CR8","DOI":"10.1007\/978-3-642-31057-7_7"},{"doi-asserted-by":"crossref","unstructured":"Doherty, J., Hendren, L., Radpour, S.: Kind analysis for MATLAB. In: OOPSLA (2011)","key":"7_CR9","DOI":"10.1145\/2048066.2048077"},{"doi-asserted-by":"crossref","unstructured":"Dubrau, A.: Taming MATLAB. Master\u2019s thesis. McGill University (April 2012)","key":"7_CR10","DOI":"10.1145\/2384616.2384653"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1297027.1297029","volume-title":"OOPSLA 2007: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The JastAdd extensible Java compiler. In: OOPSLA 2007: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications, pp. 1\u201318. ACM, New York (2007)"},{"issue":"1-3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.scico.2007.02.003","volume":"69","author":"T. Ekman","year":"2007","unstructured":"Ekman, T., Hedin, G.: The JastAdd system \u2013 modular extensible compiler construction. Science of Computer Programming\u00a069(1-3), 14\u201326 (2007)","journal-title":"Science of Computer Programming"},{"unstructured":"Joisha, P.G.: A Type Inferenence System for MATLAB with Applications to Code Optimization. Ph.D. thesis, Northwestern University (2003)","key":"7_CR13"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-36579-6_9","volume-title":"Compiler Construction","author":"P.G. Joisha","year":"2003","unstructured":"Joisha, P.G., Banerjee, P.: The MAGICA Type Inference Engine for MATLAB. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 121\u2013125. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis and transformation. In: CGO, pp. 75\u201388 (2004)","key":"7_CR15","DOI":"10.1109\/CGO.2004.1281665"},{"unstructured":"Li, J.: McFor: A MATLAB to FORTRAN 95 compiler. Master\u2019s thesis. McGill University (August 2009)","key":"7_CR16"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/j.entcs.2009.09.046","volume":"238","author":"E. Nilsson-Nyman","year":"2009","unstructured":"Nilsson-Nyman, E., Hedin, G., Magnusson, E., Ekman, T.: Declarative intraprocedural flow analysis of Java source code. Electron. Notes Theor. Comput. Sci.\u00a0238, 155\u2013171 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Radpour, S.: Understanding and Refactoring MATLAB. Master\u2019s thesis, McGill University (April 2012)","key":"7_CR18","DOI":"10.1007\/978-3-642-37051-9_12"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/316686.316693","volume":"21","author":"L.D. Rose","year":"1999","unstructured":"Rose, L.D., Padua, D.: Techniques for the translation of MATLAB programs into Fortran 90. ACM Trans. Program. Lang. Syst.\u00a021(2), 286\u2013323 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Toheed Aslam, A.D., Doherty, J., Hendren, L.: AspectMatlab: An aspect-oriented scientific programming language. In: AOSD, pp. 181\u2013192 (March 2010)","key":"7_CR20","DOI":"10.1145\/1739230.1739252"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-46423-9_2","volume-title":"Compiler Construction","author":"R. Vall\u00e9e-Rai","year":"2000","unstructured":"Vall\u00e9e-Rai, R., Gagnon, E.M., Hendren, L., Lam, P., Pominville, P., Sundaresan, V.: Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? In: Watt, D.A. (ed.) CC 2000. LNCS, vol.\u00a01781, pp. 18\u201334. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2012 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31057-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T21:19:14Z","timestamp":1743628754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31057-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310560","9783642310577"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31057-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}