Correctly detecting intrinsic type errors in typeless languages such as MATLAB

Proceedings of the 2001 Conference on APL: An Arrays Odyssey, APL 2001

Volumn , Issue , 2001, Pages 7-21

  Joisha, Pramod G ^a   Banerjee, Prithviraj ^a  

^a Northwestern University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; PROGRAM COMPILERS;

LOCALISATION; PROGRAM VARIABLES; RUNTIMES; TYPE ERRORS;

MATLAB;

EID: 81455159775     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/570407.570408     Document Type: Conference Paper

References (15)

1. A. M. Bauer and H. J. Saal. "Does APL Really Need Run-Time Checking?". Software-Practice and Experience, 4:129-138, 1974.
2. P. Banerjee, U. N. Shenoy, A. Choudhary, S. Hauck, C. Bachmann, M. Chang, M. Haldar, P. G. Joisha, A. Jones, A. Kanhere, A. Nayak, S. Periyacheri, and M. Walkden. "A MATLAB Compiler for Configurable Computing Systems". Technical Report CPDC-TR-9906-013, Center for Parallel and Distributed Computing, Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL 60208-3118, USA, September 1999.
3. T. Budd. An APL Compiler. Springer-Verlag New York, Inc., New York City, NY 10010, USA, 1988. ISBN 0-387-96643-9.
4. S. Chauveau and F. Bodin. "Menhir: An Environment for High Performance MATLAB". Lecture Notes in Computer Science, 1511:27-40, 1998. Proceedings of die 4th International Workshop on Languages, Compilers and Run-Time Systems, Pittsburgh, PA, USA, May 1998.
5. W.-M. Ching. "Program Analysis and Code Generation in an APL/370 Compiler". IBM Journal of Research and Development, 30(6):594-602, November 1986.
6. L. A. De Rose. "Compiler Techniques for MATLAB Programs". Ph.D. dissertation, University of Illinois at Urbana-Champaign, Department of Computer Science, May 1996.
7. http://www.csrd.uiuc.edu/falcon/falcon.html, The FALCON Project Home Page.
8. P. G. Joisha, U. N. Shenoy, and P. Banerjee. "An Approach to Array Shape Determination in MATLAB". Technical Report CPDC-TR-2000-10-010, Center for Parallel and Distributed Computing, Department of Electrical and Computer Engineering, Northwestern University, Evanston, IL 60208-3118, USA, October 2000.
9. M. A. Kaplan and J. D. Ullman. "A Scheme for the Automatic Inference of Variable Types". Journal of the ACM, 27(1):128-145, January 1980.
10. The MathWorks, Inc., 24 Prime Park Way, Natick, MA 01760-1500, USA. MATLAB-The Language of Technical Computing, January 1997. Using MATLAB (Version 5).
11. The MathWorks, Inc., 3 Apple Hill Drive, Natick, MA 01760-2098, USA. Image Processing Toolbox: For Use with MATLAB, September 2000. User's Guide (Version 2).
12. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kauftnann Publishers, Inc., San Francisco, CA 94104, USA, 1997. ISBN 1-55860-320-4.
13. M. J. Quinn, A. Malishevsky, N. Seelam, and Y. Zhao. "Preliminary Results from a Parallel MATLAB Compiler". In the Proceedings of the 12th International Parallel Processing Symposium, pages 81-87, Orlando, FL, USA, April 1998.
14. A. M. Tenenbaum. "Type Determination in Very High-Level Languages". Ph.D. dissertation, Courant Institute of Mathematical Sciences, New York University, Department of Computer Science, October 1974. Computer Science Report NSO-3.
15. J. P. Tremblay and R. Manohar. Discrete Mathematical Structures with Applications to Computer Science. Computer Science Series. McGraw-Hill, Inc., New York City, NY 10121, USA, 1975. ISBN 0-07-065142-6.