| An overview of ELAN P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen Electronic Notes in Theoretical Computer Science 15, 55-70, 1998 | 323 | 1998 |
| Tom: Piggybacking rewriting on java E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles Term Rewriting and Applications: 18th International Conference, RTA 2007 …, 2007 | 245 | 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 | 185 | 1996 |
| A Pattern Matching Compiler for Multiple Target Languages PE Moreau, C Ringeissen, M Vittek Compiler construction 2622, 61-76, 2003 | 176* | 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 | 176 | 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 | 81 | 2001 |
| ELAN v 3.3 user manual P Borovanský, H Cirstea, H Dubois, C Kirchner, H Kirchner, PE Moreau, ... LORIA, Nancy (France),, 1998 | 56 | 1998 |
| 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 | 53 | 2005 |
| Prototyping completion with constraints using computational systems H Kirchner, PE Moreau Rewriting Techniques and Applications: 6th International Conference, RTA-95 …, 2005 | 49 | 2005 |
| A compiler for rewrite programs in associative-commutative theories PE Moreau, H Kirchner Principles of Declarative Programming: 10th International Symposium, PLILP …, 1998 | 46 | 1998 |
| Formal validation of pattern matching code C Kirchner, PE Moreau, A Reilles Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005 | 41 | 2005 |
| Anti-pattern matching C Kirchner, R Kopetz, PE Moreau Programming Languages and Systems: 16th European Symposium on Programming …, 2007 | 39 | 2007 |
| Formal islands E Balland, C Kirchner, PE Moreau Algebraic Methodology and Software Technology: 11th International Conference …, 2006 | 29 | 2006 |
| Tom Manual E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles LORIA, Nancy (France), version 2, 2006 | 25* | 2006 |
| Production systems and rete algorithm formalisation H Cirstea, C Kirchner, M Moossen, PE Moreau | 24* | 2004 |
| A Choice-Point Library for Backtrack Programming. PE Moreau Implementation Technology for Programming Languages based on Logic, 16-31, 1998 | 24 | 1998 |
| Non-deterministic computations in ELAN H Kirchner, PE Moreau Recent Trends in Algebraic Development Techniques: 13th International …, 1999 | 21 | 1999 |
| A reflective extension of ELAN H Kirchner, PE Moreau Electronic Notes in Theoretical Computer Science 4, 149-168, 1996 | 20 | 1996 |
| Environments for term rewriting engines for free! M Van Den Brand, PE Moreau, J Vinju Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003 | 19 | 2003 |
| Towards an efficient implementation of tree automata completion E Balland, Y Boichut, T Genet, PE Moreau Lecture Notes in Computer Science 5140, 67-82, 2008 | 18 | 2008 |
Claude KirchnerInriaVerified email at inria.fr
