{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:14:46Z","timestamp":1725574486068},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201021"},{"type":"electronic","value":"9783540398158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39815-8_21","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T14:49:51Z","timestamp":1294411791000},"page":"344-363","source":"Crossref","is-referenced-by-count":7,"title":["Partial Evaluation of MATLAB"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Elphick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Cox","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Alm\u00e1si, G.: MaJIC: A MATLAB Just-In-Time Compiler. PhD thesis, University of Illinois at Urbana-Champaign (2001)","DOI":"10.1007\/3-540-45574-4_5"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1145\/512529.512564","volume-title":"Proceeding 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: Proceeding of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pp. 294\u2013303. ACM Press, New York (2002)"},{"key":"21_CR3","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (1994)"},{"issue":"2-3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation and application to logic programs. Journal of Logic Programming\u00a013(2-3), 103\u2013179 (1992)","journal-title":"Journal of Logic Programming"},{"key":"21_CR5","unstructured":"Elphick, D.: Implementation of a MATLAB partial evaluator. Technical Report DSSE-TR- 2003-4, University of Southampton (2003)"},{"key":"21_CR6","first-page":"137","volume-title":"System Modelling and Optimization","author":"R. Gl\u00fcck","year":"1995","unstructured":"Gl\u00fcck, R., Nakashige, R., Z\u00f6chling, R.: Binding-time analysis applied to mathematical algorithms. In: System Modelling and Optimization, pp. 137\u2013146. Chapman & Hall, Boca Raton (1995)"},{"key":"21_CR7","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, Englewood Cliffs (1993)"},{"key":"21_CR8","unstructured":"Kleinrubatscher, P., Kriegshaber, A., Z\u00f6chling, R., Gl\u00fcck, R.: Fortran program specialization. In: Snelting, G., Meyer, U. (eds.) Semantikgest\u00fctzte Analyse, Entwicklung und Generierung von Programmen. GI Workshop, Schloss Rauischholzhausen, Germany, pp. 45\u201354 (1994) Justus-Liebig-Universit\u00e4t Giessen"},{"key":"21_CR9","first-page":"147","volume-title":"SIGPLAN Conference on Programming Language Design and Implementation","author":"J. Knoop","year":"1994","unstructured":"Knoop, J., Ruthing, O., Steffen, B.: Partial dead code elimination. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 147\u2013158. ACM Press, New York (1994)"},{"issue":"4 & 5","key":"21_CR10","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S147106840200145X","volume":"2","author":"M. Leuschel","year":"2002","unstructured":"Leuschel, M., Bruynooghe, M.: Logic program specialisation through partial deduction: Control issues. Theory and Practice of Logic Programming\u00a02(4 & 5), 461\u2013515 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"21_CR11","unstructured":"MAGICA website, http:\/\/www.ece.northwestern.edu\/cpdc\/pjoisha\/MAGICA\/"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Menon, V., Trefethen, A.E.: MultiMATLAB: Integrating Matlab with high performance parallel computing. In: Supercomputing 1997. ACM SIGARCH and IEEE Computer Society, pp. 1\u201318 (1997)","DOI":"10.1145\/509593.509623"},{"key":"21_CR13","first-page":"247","volume-title":"Encyclopedia of Computer Science and Technology","author":"T.\u00c6. Mogensen","year":"1997","unstructured":"Mogensen, T.\u00c6., Sestoft, P.: Partial evaluation. In: Kent, A., Williams, J.G. (eds.) Encyclopedia of Computer Science and Technology, vol.\u00a037, pp. 247\u2013279. Marcel Dekker, 270 Madison Avenue (1997)"},{"key":"21_CR14","volume-title":"Advanced Compiler Design & Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S.: Advanced Compiler Design & Implementation. Morgan Kaufmann Publishers, San Francisco (1997)"},{"key":"21_CR15","unstructured":"Pawletta, S., Pawletta, T., Drewelow, W., Duenow, P., Suesse, M.: A MATLAB toolbox for distributed and parallel processing. In: Moler, C., Little, S. (eds.) Proc. of the Matlab Conference 1995, Cambridge, MA, October 1995, MathWorks Inc. (1995)"},{"key":"21_CR16","first-page":"81","volume-title":"International Parallel Processing Symposium","author":"M. Quinn","year":"1998","unstructured":"Quinn, M., Malishevsky, A., Seelam, N., Zhao, Y.: Preliminary results from a parallel MATLAB compiler. In: International Parallel Processing Symposium, pp. 81\u201387. IEEE CS Press, Los Alamitos (1998)"},{"key":"21_CR17","unstructured":"Rose, L.D.: Compiler techniques for MATLAB programs. Technical Report UIUCDCS-R-96-1956, University of Illinois at Urbana-Champaign (1996)"},{"key":"21_CR18","first-page":"269","volume-title":"Languages and Compilers for Parallel Computing","author":"L.D. Rose","year":"1995","unstructured":"Rose, L.D., Gallivan, K., Gallopoulos, E., Marsolf, B.A., Padua, D.A.: FALCON: A MATLAB interactive restructuring compiler. In: Languages and Compilers for Parallel Computing, pp. 269\u2013288. Springer, Heidelberg (1995)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-48743-3_17","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"U.P. Schultz","year":"1999","unstructured":"Schultz, U.P., Lawall, J.L., Consel, C., Muller, G.: Towards automatic specialization of Java programs. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 367\u2013390. Springer, Heidelberg (1999)"},{"key":"21_CR20","unstructured":"The MathWorks, Inc. - About Us., http:\/\/www.mathworks.com\/company\/aboutus.shtml"},{"issue":"1-2","key":"21_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-8191(00)00087-9","volume":"27","author":"R.C. Whaley","year":"2001","unstructured":"Whaley, R.C., Petitet, A., Dongarra, J.J.: Automated empirical optimizations of software and the ATLAS project. Parallel Computing\u00a027(1-2), 3\u201335 (2001)","journal-title":"Parallel Computing"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39815-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:40:24Z","timestamp":1559929224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39815-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201021","9783540398158"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39815-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}