Pierre-Etienne Moreau

Researcher at INRIA
Member of the PROTHEO Research Group

Contact:

• Office B210
• tel: +33 (0)3.54.95.84.65
• fax: +33 (0)3.54.95.84.01
• email: Pierre-Etienne.Moreau [at] loria * fr
• GnuPG: public key and fingerprint

Address:

• 615, rue du Jardin Botanique
• BP-101
• F-54602 Villers-lès-Nancy
• France

Research:

• Tom's home page
• Tom's gforge page
• Rewrite Rule Technology
• Program Transformation

Events:

• JFLA'2007 (président)
• Past events

Recent publications:

• Formal Islands
• Optimizing Pattern Matching Compilation by Program Transformation
• Formal Validation of Pattern Matching Code
• PhD in Computer Science, Université Henri Poincaré - Nancy 1
• Complete list

Softwares:

• Tom: A Pattern Matching Compiler for Multiple Target Languages
• CPL: A Choice-Point Library for backtrack programming (in C)
• ELAN: A rule based language controlled by strategies.
  [elan-compiler-bundle-4.3h.tar.gz]
  [contrib-3.6e]

Misc:

• Xrefactory: A good C and Java development tool
• To know your iLDAP identifier.
• Support de cours