Standard ML of new jersey, Proceedings of the Third International Symposium on Programming 1 http://tom.loria.fr Language Implementation and Logic Programming, pp.1-13, 1991. ,
Compiling pattern matching, Proceedings of a conference on Functional Programming Languages and Computer Architecture, pp.368-381, 1985. ,
DOI : 10.1007/3-540-15975-4_48
Term Rewriting and all That, 1998. ,
An overview of ELAN, WRLA'98: Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications Electronic Notes in Theoretical Computer Science, 1998. ,
Compiling a functional language, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.208-217, 1984. ,
DOI : 10.1145/800055.802037
Principles of Maude, Proceedings of the first international workshop on rewriting logic Electronic Notes in Theoretical Computer Science, 1996. ,
DOI : 10.1016/S1571-0661(04)00034-9
Optimizing pattern matching, ICFP'01: Proceedings of the sixth ACM SIGPLAN International Conference on Functional Programming, pp.26-37, 2001. ,
Left-to-right tree pattern matching, RTA'91: Proceedings of the 4th international conference on Rewriting Techniques and Applications, pp.323-334, 1991. ,
DOI : 10.1007/3-540-53904-2_107
Formal validation of pattern matching code, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.187-197, 2005. ,
DOI : 10.1145/1069774.1069792
URL : https://hal.archives-ouvertes.fr/inria-00000701
Proving correctness of compiler optimizations by temporal logic. Higher-Order and Symbolic Computation, 2004. ,
A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099427
Adaptive Pattern Matching, SIAM Journal on Computing, vol.24, issue.6, pp.1207-1234, 1995. ,
DOI : 10.1137/S0097539793246252
Compiling language definitions: the asf+sdf compiler, ACM Trans. Program. Lang. Syst, vol.24, issue.4, pp.334-368, 2002. ,
Building program optimizers with rewriting strategies, ICFP'98: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming, pp.13-26, 1998. ,