INRIA Lorraine & LORIA Technopôle de Nancy Brabois - Campus Scientifique 615, rue du Jardin Botanique BP-101 F-54602 Villers-lès-Nancy FRANCE (33) (0)3.83.58.17.06 (33) (0)3.83.58.17.01 Email: Pierre-Etienne.Moreau [at] loria * fr

Researcher at INRIA Member of the PROTHEO Research Group Intranet LORIA

Research Interests

Rewrite Rule Technology

AirCube: Rewrite Rule Research

Tom: A Pattern Matching Compiler for Multiple Target Languages

Tom wiki Server

Tom bug tracker

Compilation of Term Rewriting Systems with Strategies

Manifico: RNTL Project with Ilog

Events

JFLA'2006

WRLA'2006

JFLA'2005

LDTA'2003

RULE'2003

Recent work

Optimizing Pattern Matching by Program Transformation

Formal Validation of Pattern Matching Code

Support de cours

Some links

PhD in Computer Science, Université Henri Poincaré - Nancy 1

Publications

My resume

Search WWW Search google.com

GoogleSearch

DictionarySearch

Tools

ELAN: A rule based language controlled by strategies. [elan-compiler-bundle-4.3f.tar.gz] [contrib-3.6e]

The ELAN Toolkit: A set of tools designed to build the ELAN system and perform term transformations

CPL: A Choice-Point Library for backtrack programming (in C)

Jaterm: A Java implementation of the ATerm Library (from CWI)

Xrefactory: A good C and Java development tool