Pierre-Etienne Moreau
Pierre-Etienne Moreau
Professor Mines Nancy - Université de Lorraine
Geverifieerd e-mailadres voor loria.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3051998
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
2352007
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
1741996
ELAN from a rewriting logic point of view
P Borovanský, C Kirchner, H Kirchner, PE Moreau
Theoretical Computer Science 285 (2), 155-185, 2002
1692002
A Pattern Matching Compiler for Multiple Target Languages
PE Moreau, C Ringeissen, M Vittek
Compiler construction 2622, 61-76, 2003
163*2003
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
792001
ELAN user manual
P Borovansky, C Kirchner, PEM H'elene Kirchner, M Vittek, MM Vittek
551997
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
502005
A compiler for rewrite programs in associative-commutative theories
PE Moreau, H Kirchner
Principles of Declarative Programming, 230-249, 1998
441998
Prototyping completion with constraints using computational systems
H Kirchner, PE Moreau
International Conference on Rewriting Techniques and Applications, 438-443, 1995
431995
Anti-pattern matching
C Kirchner, R Kopetz, PE Moreau
European Symposium on Programming, 110-124, 2007
392007
Formal validation of pattern matching code
C Kirchner, PE Moreau, A Reilles
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
382005
Formal islands
E Balland, C Kirchner, PE Moreau
International Conference on Algebraic Methodology and Software Technology, 51-65, 2006
272006
A Choice-Point Library for Backtrack Programming.
PE Moreau
Implementation Technology for Programming Languages based on Logic, 16-31, 1998
241998
Tom Manual
E Balland, P Brauner, R Kopetz, PE Moreau, A Reilles
LORIA, Nancy (France), version 2, 2006
23*2006
Non-deterministic computations in ELAN
H Kirchner, PE Moreau
Recent Trends in Algebraic Development Techniques, 168-183, 1999
191999
Production systems and rete algorithm formalisation
H Cirstea, C Kirchner, M Moossen, PE Moreau
18*2004
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
182003
Rewriting strategies in java
E Balland, PE Moreau, A Reilles
Electronic notes in theoretical computer science 219, 97-111, 2008
172008
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
172008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20