Turning dynamic typing into static typing by program specialization in a compiler front-end for Octave

Proceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003

Volumn , Issue , 2003, Pages 141-150

  Olmos, K ^a   Visser, E ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Array signal processing; Computer languages; Dispatching; Production; Program processors; Prototypes; Runtime; Shape; Trademarks; Turning

Indexed keywords

APL (PROGRAMMING LANGUAGE); ARRAY PROCESSING; CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; MATLAB; PRODUCTION; PROGRAM PROCESSORS; SIGNAL PROCESSING; TRADEMARKS; TURNING;

ARRAY SIGNAL PROCESSING; DISPATCHING; PROTOTYPES; RUNTIMES; SHAPE;

PROGRAM COMPILERS;

EID: 84944322905     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2003.1238040     Document Type: Conference Paper

References (16)

1. G. Almási and D. Padua. MaJIC: compiling MATLAB for speed and responsiveness. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming language desing and implementation, pages 294-303, Berlin, Germany, July 2002. ACM Press.
2. M. G. J. van den Brand, H. A. de Jong, P. Klint, and P. A. Olivier. Efficient annotated terms. Software - Practice & Experience, 30:259-291, 2000.
3. A. Chauhan, C. McCosh, and K. Kennedy. Type-based speculative specialization in a telescoping compiler for matlab, January 2003. Techical Report TR03-411, Rice University.
4. L. A. de Rose. Compiler techniques for matlab programs, 1996. PhD Thesis, University of Illinois at Urbana-Champaign.
5. E. Dolstra and E. Visser. Building interpreters with rewriting strategies. In M. van den Brand and R. Laemmel, editors, Workshop on Language Descriptions, Tools and Applications (LDTA'02), volume 65/3 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, April 2002.
6. J. Eaton. Octave. http://www.octave.org/.
7. J. Hughes. An Introduction to Program Specialisation by Type Inference. In Functional Programming. Glasgow University, July 1996. published electronically.
8. P. G. Joisha and P. Banerjee. Computing array shapes in MATLAB. In Proceedings of the International Workshop on Languages and Compilers for Parallel Computing (LCPC), Lecture Notes in Computer Science Series, Cumberland Falls, USA, August 2001. Springer-Verlag.
9. P. G. Joisha and P. Banerjee. MAGICA a software tool for inferring types in MATLAB, October 2002. Technical report No. CPDC-TR-2002-10-04.
10. P. G. Joisha, U. N. Shenoy, and P. Banerjee. Technical report no. CPD-TR-2000-10-010, October 2000. Center for Parallel and Distributed Computing, Departament of Electrical and Computer Engineering, Northwestern University.
11. K. Olmos and E. Visser. Strategies for source-to-source constant propagation. In B. Gramlich and S. Lucas, editors, Workshop on Reduction Strategies (WRS'02), volume 70/6 of Electronic Notes in Theoretical Computer Science, page 20, Copenhagen, Denmark, July 2002. Elsevier Science Publishers. http://www.elsevier.nl/locate/entcs/volume70.html.
12. E. Visser. Scoped dynamic rewrite rules. In M. van den Brand and R. Verma, editors, Rule Based Programming (RULE'01), volume 59/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, September 2001.
13. E. Visser. Scoped dynamic rewrite rules. In M. van den Brand and R. Verma, editors, Electronic Notes in Theoretical Computer Science, volume 9/4 of Rule Based Programming (RULE'01). Elsevier Science Publishers, September 2001.
14. E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), volume 2051 of Lecture Notes in Computer Science, pages 357-361. Springer-Verlag, May 2001.
15. E. Visser. Meta-programming with concrete object syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE'02), volume 2487 of Lecture Notes in Computer Science, pages 299-315, Pittsburgh, PA, USA, October 2002. Springer-Verlag. [pdf].
16. E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 13-26. ACM Press, September 1998.