| An overview of ELAN P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen Electronic Notes in Theoretical Computer Science 15, 55-70, 1998 | 291 | 1998 |
| Tom: Piggybacking rewriting on java E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles International Conference on Rewriting Techniques and Applications, 36-47, 2007 | 235 | 2007 |
| ELAN: A logical framework based on computational systems P Borovanský, C Kirchner, H Kirchner, PE Moreau, M Vittek Electronic Notes in Theoretical Computer Science 4, 35-50, 1996 | 177 | 1996 |
| A Pattern Matching Compiler for Multiple Target Languages PE Moreau, C Ringeissen, M Vittek Compiler construction 2622, 61-76, 2003 | 169* | 2003 |
| ELAN from a rewriting logic point of view P Borovanský, C Kirchner, H Kirchner, PE Moreau Theoretical Computer Science 285 (2), 155-185, 2002 | 167 | 2002 |
| Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories H Kirchner, PE Moreau Journal of Functional Programming 11 (2), 207-251, 2001 | 79 | 2001 |
| ELAN user manual P Borovansky, C Kirchner, PEM H'elene Kirchner, M Vittek, MM Vittek | 56 | 1997 |
| Generator of efficient strongly typed abstract syntax trees in Java M Van den Brand, PE Moreau, J Vinju IEE Proceedings-Software 152 (2), 70-78, 2005 | 52 | 2005 |
| Prototyping completion with constraints using computational systems H Kirchner, PE Moreau International Conference on Rewriting Techniques and Applications, 438-443, 1995 | 49 | 1995 |
| A compiler for rewrite programs in associative-commutative theories PE Moreau, H Kirchner Principles of Declarative Programming, 230-249, 1998 | 44 | 1998 |
| Anti-pattern matching C Kirchner, R Kopetz, PE Moreau European Symposium on Programming, 110-124, 2007 | 39 | 2007 |
| Formal validation of pattern matching code C Kirchner, PE Moreau, A Reilles Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 38 | 2005 |
| Formal islands E Balland, C Kirchner, PE Moreau International Conference on Algebraic Methodology and Software Technology, 51-65, 2006 | 27 | 2006 |
| Tom Manual E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles LORIA, Nancy (France), version 2, 2006 | 25* | 2006 |
| A Choice-Point Library for Backtrack Programming. PE Moreau Implementation Technology for Programming Languages based on Logic, 16-31, 1998 | 24 | 1998 |
| Environments for term rewriting engines for free! M Brand, PE Moreau, J Vinju International Conference on Rewriting Techniques and Applications, 424-435, 2003 | 19 | 2003 |
| A reflective extension of ELAN H Kirchner, PE Moreau Electronic Notes in Theoretical Computer Science 4, 149-168, 1996 | 19 | 1996 |
| Towards an efficient implementation of tree automata completion E Balland, Y Boichut, T Genet, PE Moreau International Conference on Algebraic Methodology and Software Technology, 67-82, 2008 | 18 | 2008 |
| Production systems and rete algorithm formalisation H Cirstea, C Kirchner, M Moossen, PE Moreau | 18* | 2004 |
| Non-deterministic computations in ELAN H Kirchner, PE Moreau Recent Trends in Algebraic Development Techniques, 168-183, 1999 | 18 | 1999 |
Claude KirchnerInriaVerified email at inria.fr
