{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T10:35:29Z","timestamp":1789900529929,"version":"4.0.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Parallel Programming"],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1023\/a:1019804013080","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T13:06:09Z","timestamp":1047733569000},"page":"291-315","source":"Crossref","is-referenced-by-count":12,"title":["Reducing and Vectorizing Procedures for Telescoping Languages"],"prefix":"10.1007","volume":"30","author":[{"given":"Arun","family":"Chauhan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ken","family":"Kennedy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"378482_CR1","unstructured":"Ken Kennedy, Telescoping Languages: A Compiler Strategy for Implementation of Highlevel Domain-specific Programming Systems, Proc. Int'l Parallel and Distributed Proc.Symp. (May 2000)."},{"issue":"12","key":"378482_CR2","doi-asserted-by":"crossref","first-page":"1803","DOI":"10.1006\/jpdc.2001.1724","volume":"61","author":"K. Kennedy","year":"2001","unstructured":"Ken Kennedy, Bradley Broom, Keith Cooper, Jack Dongarra, Rob Fowler, Dennis Gannon, Lennart Johnson, John Mellor-Crummey, and Linda Torczon, Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries, J. Parallel and Distributed Computing, 61(12):1803\u20131826 (December 2001).","journal-title":"J. Parallel and Distributed Computing"},{"key":"378482_CR3","doi-asserted-by":"crossref","unstructured":"Dan Grove and Linda Torczon, Interprocedural Constant Propagation: A Study of Jump Function Implementations, Proc. ACM SIGPLAN Conf. Progr. Lang. Design and Implementation, pp. 90\u201399 (June 1993).","DOI":"10.1145\/155090.155099"},{"issue":"2","key":"378482_CR4","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(78)90043-0","volume":"16","author":"M. S. Paterson","year":"1978","unstructured":"Mike S. Paterson and Mark N. Wegman, Linear Unification, J. Comput. Syst. Sci., 16(2): 158\u2013167 (1978).","journal-title":"J. Comput. Syst. Sci."},{"key":"378482_CR5","unstructured":"Keith D. Cooper, Mary W. Hall, and Ken Kennedy, Procedure Cloning, Proc. IEEE Int'l Conf. Computer Lang. (April 1992)."},{"issue":"4","key":"378482_CR6","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","volume":"9","author":"J. R. Allen","year":"1987","unstructured":"John R. Allen and Ken Kennedy, Automatic Translation of Fortran Programs to Vector Form, ACM Trans. Progr. Lang. Syst., 9(4):491\u2013542 (October 1987).","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"378482_CR7","volume-title":"Advanced Compilation for Vector and Parallel Computers","author":"R. Allen","year":"2001","unstructured":"Randy Allen and Ken Kennedy, Advanced Compilation for Vector and Parallel Computers, Morgan Kaufmann Publishers, San Mateo, California (2001)."},{"key":"378482_CR8","doi-asserted-by":"crossref","unstructured":"Preston Briggs and Keith D. Cooper, Effective Partial Redundancy Elimination, Proc. ACM SIGPLAN Conf. Progr. Lang. Design and Implementation, pp. 159\u2013170 (June 1994).","DOI":"10.1145\/178243.178257"},{"key":"378482_CR9","unstructured":"Philips S. Abrams, An APL Machine, Ph.D. thesis, Stanford Linear Accelerator Center, Stanford University (1970)."},{"key":"378482_CR10","doi-asserted-by":"crossref","unstructured":"Vijay Menon and Keshav Pingali, A Case for Source Level Transformations in Matlab, Proc. ACM SIGPLAN\/USENIX Conf. Domain Specific Lang. (1999).","DOI":"10.1145\/331960.331972"},{"key":"378482_CR11","doi-asserted-by":"crossref","unstructured":"Mary Hall, Ken Kennedy, and Kathryn McKinley, Interprocedural Transformations for Parallel Code Generation, Proc. Supercomputing, pp. 424\u2013434 (November 1991).","DOI":"10.1145\/125826.126055"},{"key":"378482_CR12","unstructured":"Frances E. Allen, John Cocke, and Ken Kennedy, Reduction of Operator Strength, In S. Muchnick and N. Jones, eds., Program Flow Analysis: Theory and Applications, Prentice-Hall, pp. 79\u2013101 (1981)."},{"key":"378482_CR13","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1016\/0743-7315(88)90011-1","volume":"5","author":"D. Callahan","year":"1988","unstructured":"David Callahan and Ken Kennedy, Analysis of Interprocedural Side-effects in Parallel Programming Environment, J. Parallel Distribut. Comput., 5:517\u2013550 (1988).","journal-title":"J. Parallel Distribut. Comput."},{"issue":"3","key":"378482_CR14","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/71.86110","volume":"2","author":"P. Havlak","year":"1991","unstructured":"Paul Havlak and Ken Kennedy, An Implementation of Interprocedural Bounded Regular Section Analysis, IEEE Trans. Parallel Distribut. Syst., 2(3):350\u2013360 (July 1991).","journal-title":"IEEE Trans. Parallel Distribut. Syst."},{"key":"378482_CR15","unstructured":"http:\/\/www.mathworks.com\/. Mathworks, Inc."},{"key":"378482_CR16","unstructured":"Luiz Ant\u00f4nio DeRose, Compiler Techniques for Matlab Programs, Ph.D. thesis, University of Illinois at Urbana-Champaign (1996)."},{"issue":"2","key":"378482_CR17","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1145\/316686.316693","volume":"21","author":"L. DeRose","year":"1999","unstructured":"Luiz DeRose and David Padua, Techniques for the Translation of MATLAB Programs into Fortran 90, ACM Trans. Progr. Lang. Syst., 21(2):286\u2013323 (March 1999).","journal-title":"ACM Trans. Progr. Lang. Syst."},{"key":"378482_CR18","unstructured":"http:\/\/polaris.cs.uiuc.edu\/majic\/. MAJIC Project."},{"key":"378482_CR19","doi-asserted-by":"crossref","unstructured":"Vijay Menon and Keshav Pingali, High-level Semantic Optimization of Numerical Code, Proc. ACM-SIGARCH Int'l Conf. Supercomputing (1999).","DOI":"10.1145\/305138.305230"},{"key":"378482_CR20","volume-title":"Studies in Logic and the Foundation of Mathematics","author":"H. B. Curry","year":"1958","unstructured":"Haskell B. Curry and Robert Fayes, Combinatory Logic, Vol. 65, Studies in Logic and the Foundation of Mathematics, North-Holland Pub. Co., Amsterdam (1958)."},{"key":"378482_CR21","unstructured":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics Based Program Manipulation."},{"key":"378482_CR22","volume-title":"Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation","author":"A. Griewank","year":"2000","unstructured":"Andreas Griewank, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, SIAM, Philadelphia, Pennsylvania (2000)."},{"key":"378482_CR23","unstructured":"http:\/\/www.cs.rice.edu\/' adifor\/. ADIFOR Project: Automatic Differentiation of Fortran."},{"key":"378482_CR24","doi-asserted-by":"crossref","unstructured":"Samuel Z. Guyer and Calvin Lin, An Annotation Language for Optimizing Software Libraries, Proc. ACM SIGPLAN\/USENIX Conf. Domain Specific Languages (1999).","DOI":"10.1145\/331960.331970"},{"key":"378482_CR25","unstructured":"Michael J. Quinn, Alexey Malishevsky, and Nagajagadeswar Seelam, Otter: Bridging the Gap Between MATLAB and ScaLAPACK, Proc. IEEE Int'l Symp. High Performance Distributed Computing (August 1998)."},{"key":"378482_CR26","first-page":"814","volume":"2","author":"P. Drakenberg","year":"1993","unstructured":"Peter Drakenberg, Peter Jacobson, and Bo K\u00e5gstr\u00f6m, A CONLAB Compiler for a Distributed Memory Multicomputer. SIAM Conf. Parallel Processing for Scientific Computing, 2:814\u2013821 (1993).","journal-title":"SIAM Conf. Parallel Processing for Scientific Computing"},{"key":"378482_CR27","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Chauveau and Fran\u00e7ois Bodin, MENHIR: An Environment for High Performance MATLAB, Proc. Workshop Languages, Compilers, and Run-time Systems for Scalable Computers (May 1998).","DOI":"10.1007\/3-540-49530-4_3"},{"key":"378482_CR28","unstructured":"Anshuman Nayak, Malay Haldar, Abhay Kanhere, Pramod Joisha, Nagraj Shenoy, Alok Choudhary, and Prith Banerjee, A Library-based Compiler to Execute MATLAB Programs on a Heterogeneous Platform. Proc. Conf. Parallel and Distributed Computing Systems (August 2000)."},{"key":"378482_CR29","doi-asserted-by":"crossref","unstructured":"R. Clint Whaley and Jack J. Dongarra, Automatically Tuned Linear Algebra Software, Proc. SC: High Performance Networking and Computing Conf. (November 1998).","DOI":"10.1109\/SC.1998.10004"},{"key":"378482_CR30","unstructured":"http:\/\/www.hipersoft.rice.edu\/grads\/. GrADS: Grid Application Development Software Project."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1019804013080.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1019804013080\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1019804013080.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:20:59Z","timestamp":1748334059000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1019804013080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["378482"],"URL":"https:\/\/doi.org\/10.1023\/a:1019804013080","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}