Optimizing pattern matching compilation by program transformation

Electronic Communications of the EASST

Volumn 3, Issue , 2006, Pages

  Balland, Emilie ^a   Moreau, Pierre Etienne ^a  

^a LORIA   (France)

Author keywords

Optimization; Pattern matching; Program transformation

Indexed keywords

EID: 84859750621     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.3.33.17     Document Type: Article

References (14)

1. L. Augustsson. Compiling pattern matching. In Proceedings of the conference on Functional Programming Languages and Computer Architecture. Pp. 368-381. Springer-Verlag, 1985
2. E. Balland, C. Kirchner, P.-E. Moreau. Formal Islands. In Johnson and Vene (eds.), Proceedings of the 11th international conference on Algebraic Methodology and Software Technology. LNCS 4019, pp. 51-65. Springer-Verlag, 2006
3. E. Balland, P.-E. Moreau. Optimizing Pattern Matching by Program Transformation. Technical report, INRIA-LORIA, 2005. http://hal.inria.fr/inria-00000763
4. L. Cardelli. Compiling a functional language. In Proceedings of the ACM Symposium on LISP and Functional Programming. Pp. 208-217. 1984
5. F. L. Fessant, L. Maranget. Optimizing pattern matching. In Proceedings of the sixth International Conference on Functional Programming. Pp. 26-37. ACM Press, 2001. doi:http://doi.acm.org/10.1145/507635.507641
6. A. Gräf. Left-to-Right Tree Pattern Matching. In Proceedings of the 4th international conference on Rewriting Techniques and Applications. LNCS 488, pp. 323-334. Springer-Verlag, 1991
7. S. L. P. Jones. The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science). Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1987
8. C. Kirchner, P.-E. Moreau, A. Reilles. Formal Validation of Pattern Matching Code. In Barahone and Felty (eds.), Proceedings of the 7th international conference on Principles and Practice of Declarative Programming. Pp. 187-197. ACM, July 2005
9. A. Leung. C++-based Pattern Matching Language. 1996. citeseer.ist.psu.edu/leung96cbased.html
10. P.-E. Moreau, C. Ringeissen, M. Vittek. A Pattern Matching Compiler for Multiple Target Languages. In Hedin (ed.), 12th Conference on Compiler Construction. LNCS 2622, pp. 61-76. Springer-Verlag, May 2003
11. M. Odersky, P. Wadler. Pizza into Java: Translating Theory into Practice. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages. Pp. 146-159. ACM Press, USA, 1997
12. O. Rüthing, J. Knoop, B. Steffen. Detecting Equalities of Variables: Combining Efficiency with Precision. In Cortesi and Filé (eds.), SAS. LNCS 1694, pp. 232-247. Springer-Verlag, 1999
13. P. Sestoft. ML Pattern Match Compilation and Partial Evaluation. In Danvy et al. (eds.), Dagstuhl Seminar on Partial Evaluation. LNCS 1110, pp. 446-464. Springer-Verlag, 1996
14. R. C. Sekar, R. Ramesh, I. V. Ramakrishnan. Adaptive Pattern Matching. SIAM Journal on Computing 24(6):1207-1234, 1995