| 2007 |
|---|
| 8 | EE | Emilie Balland,
Paul Brauner,
Radu Kopetz,
Pierre-Etienne Moreau,
Antoine Reilles:
Tom: Piggybacking Rewriting on Java.
RTA 2007: 36-47 |
| 7 | EE | Antoine Reilles:
Canonical Abstract Syntax Trees.
Electr. Notes Theor. Comput. Sci. 176(4): 165-179 (2007) |
| 6 | EE | Emilie Balland,
Pierre-Etienne Moreau,
Antoine Reilles:
Bytecode Rewriting in Tom.
Electr. Notes Theor. Comput. Sci. 190(1): 19-33 (2007) |
| 2006 |
|---|
| 5 | EE | Claude Kirchner,
Pierre-Etienne Moreau,
Antoine Reilles:
Formal Validation of Pattern Matching code.
Trustworthy Software 2006 |
| 4 | EE | Antoine Reilles:
Canonical Abstract Syntax Trees
CoRR abs/cs/0601019: (2006) |
| 2005 |
|---|
| 3 | EE | Claude Kirchner,
Pierre-Etienne Moreau,
Antoine Reilles:
Formal validation of pattern matching code.
PPDP 2005: 187-197 |
| 2 | EE | Horatiu Cirstea,
Pierre-Etienne Moreau,
Antoine Reilles:
Rule-based Programming in Java For Protocol Verification.
Electr. Notes Theor. Comput. Sci. 117: 209-227 (2005) |
| 2004 |
|---|
| 1 | EE | Julien Guyon,
Pierre-Etienne Moreau,
Antoine Reilles:
An Integrated Development Environment for Pattern Matching Programming.
Electr. Notes Theor. Comput. Sci. 107: 33-49 (2004) |
