| An overview of ELAN P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen Electronic Notes in Theoretical Computer Science 15, 55-70, 1998 | 325 | 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 | 251 | 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 | 191 | 1996 |
| A Pattern Matching Compiler for Multiple Target Languages PE Moreau, C Ringeissen, M Vittek Compiler construction 2622, 61-76, 2003 | 184* | 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 |
| 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 | 62 | 2005 |
| ELAN V 3.4 User Manual P Borovanský, H Cirstea, H Dubois, C Kirchner, H Kirchner, PE Moreau, ... LORIA, Nancy (France),, 2000 | 55 | 2000 |
| Prototyping completion with constraints using computational systems H Kirchner, PE Moreau International Conference on Rewriting Techniques and Applications, 438-443, 1995 | 50 | 1995 |
| A compiler for rewrite programs in associative-commutative theories PE Moreau, H Kirchner International Conference on Algebraic and Logic Programming, 230-249, 1998 | 45 | 1998 |
| Anti-pattern matching C Kirchner, R Kopetz, PE Moreau European Symposium on Programming, 110-124, 2007 | 41 | 2007 |
| 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 |
| Formal islands E Balland, C Kirchner, PE Moreau International Conference on Algebraic Methodology and Software Technology, 51-65, 2006 | 29 | 2006 |
| Production systems and rete algorithm formalisation H Cirstea, C Kirchner, M Moossen, PE Moreau | 26* | 2004 |
| Tom Manual E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles LORIA, Nancy (France), version 2, 2006 | 24* | 2006 |
| A Choice-Point Library for Backtrack Programming. PE Moreau Implementation Technology for Programming Languages based on Logic, 16-31, 1998 | 23 | 1998 |
| Non-deterministic computations in ELAN H Kirchner, PE Moreau Recent Trends in Algebraic Development Techniques: 13th International …, 1999 | 21 | 1999 |
| Rewriting strategies in java E Balland, PE Moreau, A Reilles Electronic notes in theoretical computer science 219, 97-111, 2008 | 19 | 2008 |
| 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 | 19 | 2008 |
| Optimizing pattern matching compilation by program transformation E Balland, PE Moreau Electronic Communications of the EASST 3, 2006 | 19 | 2006 |
Claude KirchnerInriaEmail confirmado em inria.fr
