An algebraic array shape inference system for MATLAB®

ACM Transactions on Programming Languages and Systems

Volumn 28, Issue 5, 2006, Pages 848-907

  Joisha, Pramod G ^a,b   Banerjee, Prithviraj ^a,c  

^a NORTHWESTERN UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

^c UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

Shape algebras; Term rewriting; Typeless array languages

Indexed keywords

SHAPE ALGEBRAS; TERM REWRITING; TYPELESS ARRAY LANGUAGES;

ALGEBRA; INFORMATION ANALYSIS; PROBLEM SOLVING; SEARCH ENGINES; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33748521244     PISSN: 01640925     EISSN: 01640925     Source Type: Journal    
DOI: 10.1145/1152649.1152651     Document Type: Article

References (41)

1. ADAMS, J. C., BRAINERD, W. S., MARTIN, J. T., SMITH, B. T., AND WAGENER, J. L. 1992. FORTRAN 90 Handbook. McGraw-Hill, New York.
2. ALMÁSI, G. 2001. MaJIC: A MATLAB Just-In-Time Compiler. Ph.D. thesis, University of Illinois at Urbana-Champaign.
3. ALMÁSI, G. AND PADUA, D. A. 2002. MAJIC: Compiling MATLAB for speed and responsiveness. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, 294-303.
4. ANCOUET, C. AND NGUYEN, T. V. N. 2001. Array resizing for scientific code debugging, maintenance and reuse. In Proceedings of the ACM SIGPLAN/ SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. ACM, New York, 32-37.
5. BANERJEE, U. 1993. Loop Transformations for Restructuring Compilers: The Foundations. Kluwer Academic, Norwell, MA.
6. BUDD, T. 1988. An APL Compiler. Springer Verlag, New York City.
7. CHAUVEAU, S. AND BODIN, F. 1998. Menhir: An Environment for high performance MATLAB. In Proceedings of the 4th International Workshop on Languages, Compilers, and Runtime Systems. LNCS, vol. 1511. Springer Verlag, 27-40.
8. CHING, W.-M. 1986. Program analysis and code generation in an APL/370 compiler. IBM J. Res. Dev. 30, 6 (Nov.), 594-602.
9. CYTRON, R., FERRANTE, J., ROSEN, B. K., AND WEGMAN, M. N. 1991. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst. 13, 4 (Oct.), 451-490.
10. DE ROSE, L. A. 1996. Compiler techniques for MATLAB programs. Ph.D. thesis, University of Illinois at Urbana-Champaign.
11. DE ROSE, L. A. AND PADUA, D. A. 1999. Techniques for the translation of MATLAB programs into FORTRAN 90. ACM Trans. Program. Lang. Syst. 21, 2 (Mar.), 286-323.
12. DERSHOWITZ, N. AND PLAISTED, D. A. 2001. Rewriting. In Handbook of Automated Reasoning, A. Robinson and A. Voronkov, eds. vol. 1. Elsevier, Amsterdam, The Netherlands.
13. GUPTA, R. 1993. Optimizing array bounds checks using flow analysis. ACM Lett. Program. Lang. Syst. 2, 1-4, 135-150.
14. HINDLEY, J. R. 1969. The principal type-scheme of an object in combinatory logic. Trans. American Math. Society 146, 29-60.
15. JAY, B. C. AND STECKLER, P. A. 1998. The functional imperative: Shape! In Proceedings of the 7th European Symposium On Programming. LNCS, vol. 1381. Springer Verlag, 139-153.
16. JOISHA, P. G. 2003. A type inference system for MATLAB with applications to code optimization. Ph.D. thesis, Northwestern University.
17. JOISHA, P. G. AND BANERJEE, P. 2001a. Computing array shapes in MATLAB. In Proceedings of the 14th International Workshop on Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science, vol. 2624. Springer Verlag.
18. JOISHA, P. G. AND BANERJEE, P. 2001b. Correctly detecting intrinsic type errors in typeless languages such as MATLAB. In Proceedings of the ACM SIGAPL Conference on Array Processing Languages. ACM, New York, 6-21.
19. JOISHA, P. G. AND BANERJEE, P. 2002. Implementing an array shape inference system for MATLAB using Mathematica. Tech. Rep. CPDC-TR-2002-10-003, Northwestern University.
20. JOISHA, P. G. AND BANERJEE, P. 2003a. Static array storage optimization in MATLAB. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, New York, 294-303.
21. JOISHA, P. G. AND BANERJEE, P. 2003b. The MAGICA type inference engine for MATLAB. In Proceedings of the 12th International Conference on Compiler Construction. Lecture Notes in Computer Science, vol. 2622. Springer Verlag, 121-125.
22. JOISHA, P. G., SHENOY, U. N., AND BANERJEE, P. 2000. An approach to array shape determination in MATLAB. Tech. Rep. CPDC-TR-2000-10-010, Northwestern University.
23. KAPLAN, M. A. AND ULLMAN, J. D. 1978. A general scheme for the automatic inference of variable types. In Proceedings of the 5th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, 60-75.
24. KNIGHT, K. 1989. Unification: A multidisciplinary survey. ACM Comput. Surv. 21, 1, 93-124.
25. MALISHEVSKY, A. 1998. Implementing a runtime library for a parallel MATLAB compiler. M.S. thesis, Oregon State University.
26. MCCOSH, C. 2003. Type-Based specialization in a telescoping compiler for MATLAB. Tech. Rep. TR03-412, Rice University.
27. MILNER, R. 1978. A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17, 3 (Dec.), 348-375.
28. MITCHELL, J. C. 1996. Foundations for Programming Languages. The MIT Press, Cambridge, MA.
29. MUCHNICK, S. S. 1997. Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco, CA.
30. QUINN, M. J., MALISHEVSKY, A., SEELAM, N., AND ZHAO, Y. 1998. Preliminary results from a parallel MATLAB compiler. In Proceedings of the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, S. Sahni, Ed. IEEE Computer Society Press, 81-87.
31. ROBINSON, J. A. 1965. A machine-oriented logic based on the resolution principle. J. Association Comput. Mach. 12, 1 (Jan.), 23-41.
32. TENENBAUM, A. M. 1974. Type determination in very high-level languages. Ph.D. thesis, Rep. NSO-3, New York University.
33. THE MATHWORKS, INC. 1997. MATLAB: The Language of Technical Computing. The MathWorks, Inc. Using MATLAB (Version 5).
34. THE MATHWORKS, INC. 2002a. Accelerating MATLAB: The MATLAB JIT-Accelerator. At http://www.mathworks.com/company/newsletters/digest/sept02/accel_matlab.pdf.
35. THE MATHWORKS, INC. 2002b. The MathWorks announces release 13 with major new versions of MATLAB and Simulink. At http://www.mathworks.com/company/pressroom/index.shtml/article/332.
36. TREMBLAY, J. P. AND MANOHAR, R. 1975. Discrete Mathematical Structures with Applications to Computer Science. Computer Science Series. McGraw-Hill, New York.
37. WALTHER, C. 1988. Many-Sorted unification. J. Assoc. Comput. Mach. 35, 1, 1-17.
38. WEISSTEIN, E. W. 2005. Hilbert matrix; From MathWorld - A Wolfram web resource. At http://mathworld.wolfram.com/HilbertMatrix.html.
39. WIEDMANN, C. 1979. Steps toward an APL compiler. In Proceedings of the ACM SIGAPL Conference on Array Processing Languages, A. Anger, Ed. ACM, New York, 321-328.
40. WOLFRAM, S. 1999. The Mathematica Book, 4th ed. Wolfram Media, Champaign, IL.
41. XI, H. AND PFENNING, F. 1998. Eliminating array bound checking through dependent types. In Proceedings of the ACM SIGPLAN Conference on Programming Language, Design, and Implementation. ACM, New York, 249-257.