{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T05:46:50Z","timestamp":1744264010427},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211990"},{"type":"electronic","value":"9783540246442"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24644-2_32","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T07:00:18Z","timestamp":1294383618000},"page":"495-508","source":"Crossref","is-referenced-by-count":2,"title":["Slice-Hoisting for Array-Size Inference in MATLAB"],"prefix":"10.1007","author":[{"given":"Arun","family":"Chauhan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Kennedy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Alm\u00e1si, G., Padua, D.: MaJIC: Compiling MATLAB for speed and responsiveness. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2002, pp. 294\u2013303 (2002)","DOI":"10.1145\/512529.512564"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Chauhan, A., Kennedy, K.: Procedure strength reduction and procedure vectorization: Optimization strategies for telescoping languages. In: Proceedings of ACM-SIGARCH International Conference on Supercomputing (June 2001)","DOI":"10.1145\/377792.377812"},{"issue":"4","key":"32_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/A:1019804013080","volume":"30","author":"A. Chauhan","year":"2002","unstructured":"Chauhan, A., Kennedy, K.: Reducing and vectorizing procedures for telescoping languages. International Journal of Parallel Programming\u00a030(4), 289\u2013313 (2002)","journal-title":"International Journal of Parallel Programming"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Chauhan, A., McCosh, C., Kennedy, K., Hanson, R.: Automatic type-driven library generation for telescoping language. To appear in the Proceedings of SC: High Performance Networking and Computing Conference (2003)","DOI":"10.1145\/1048935.1050201"},{"issue":"4","key":"32_CR5","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"32_CR6","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/316686.316693","volume":"21","author":"L. Rose De","year":"1999","unstructured":"De Rose, L., Padua, D.: Techniques for the translation of MATLAB programs into Fortran 90. ACM Transactions on Programming Languages and Systems\u00a021(2), 286\u2013323 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"32_CR7","unstructured":"DeRose, L.A.: Compiler Techniques for Matlab Programs. PhD thesis, University of Illinois at Urbana-Champaign (1996)"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Joisha, P.G., Banerjee, P.: Static array storage optimization in MATLAB. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (June 2003)","DOI":"10.1145\/781131.781160"},{"issue":"12","key":"32_CR9","doi-asserted-by":"publisher","first-page":"1803","DOI":"10.1006\/jpdc.2001.1724","volume":"61","author":"K. Kennedy","year":"2001","unstructured":"Kennedy, K., Broom, B., Cooper, K., Dongarra, J., Fowler, R., Gannon, D., Johnson, L., Mellor-Crummey, J., Torczon, L.: Telescoping Languages: A strategy for automatic generation of scientific problem-solving systems from annotated libraries. Journal of Parallel and Distributed Computing\u00a061(12), 1803\u20131826 (2001)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Knobe, K., Sarkar, V.: Array SSA form and its use in parallelization. In: 25th Proceedings of ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages (January 1998)","DOI":"10.1145\/268946.268956"},{"key":"32_CR11","unstructured":"McCosh, C.: Type-based specialization in a telescoping compiler for MATLAB. Master\u2019s thesis, Rice University, Houston, Texas (2002)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Menon, V., Pingali, K.: A case for source level transformations in MATLAB. In: Proceedings of the ACM SIGPLAN \/ USENIX Conference on Domain Specific Languages (1999)","DOI":"10.1145\/331960.331972"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Sharma, S., Ponnusamy, R., Moon, B., Hwang, Y.-S., Das, R., Saltz, J.: Run-time and compile-time support for adaptive irregular problems. In: Proceedings of SC: High Performance Networking and Computing Conference (November 1994)","DOI":"10.1145\/602770.602793"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Tu, P., Padua, D.A.: Gated SSA-based demand-driven symbolic analysis for parallelizing compilers. In: Proceedings of ACM-SIGARCH International Conference on Supercomputing, pp. 414\u2013423 (1995)","DOI":"10.1145\/224538.224648"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Xi, H., Pfenning, F.: Eliminating array bound checking through dependent types. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1998, pp. 249\u2013257 (1998)","DOI":"10.1145\/277650.277732"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24644-2_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:29:20Z","timestamp":1559914160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24644-2_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211990","9783540246442"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24644-2_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}