Suivre
Pierre-Etienne Moreau
Pierre-Etienne Moreau
Professor Mines Nancy - Université de Lorraine
Adresse e-mail validée de loria.fr - Page d'accueil
Titre
Citée par
Citée par
Année
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3221998
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
2412007
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
1871996
A Pattern Matching Compiler for Multiple Target Languages
PE Moreau, C Ringeissen, M Vittek
Compiler construction 2622, 61-76, 2003
178*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
1742002
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
812001
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
592005
ELAN V 3.4 User Manual
P Borovanský, H Cirstea, H Dubois, C Kirchner, H Kirchner, PE Moreau, ...
LORIA, Nancy (France),, 2000
552000
Prototyping completion with constraints using computational systems
H Kirchner, PE Moreau
International Conference on Rewriting Techniques and Applications, 438-443, 1995
491995
A compiler for rewrite programs in associative-commutative theories
PE Moreau, H Kirchner
International Conference on Algebraic and Logic Programming, 230-249, 1998
451998
Formal validation of pattern matching code
C Kirchner, PE Moreau, A Reilles
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
422005
Anti-pattern matching
C Kirchner, R Kopetz, PE Moreau
European Symposium on Programming, 110-124, 2007
402007
Formal islands
E Balland, C Kirchner, PE Moreau
International Conference on Algebraic Methodology and Software Technology, 51-65, 2006
282006
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
241998
Non-deterministic computations in ELAN
H Kirchner, PE Moreau
Recent Trends in Algebraic Development Techniques: 13th International …, 1999
201999
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
192008
Optimizing pattern matching compilation by program transformation
E Balland, PE Moreau
Electronic Communications of the EASST 3, 2007
19*2007
Environments for term rewriting engines for free!
M Van Den Brand, PE Moreau, J Vinju
International Conference on Rewriting Techniques and Applications, 424-435, 2003
192003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20