Antoine Reilles

13 papers C 1Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2014 J jnl
Effective strategic programming for Java developers.
Softw. Pract. Exp.
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
2009 — conf
TomML: A Rule Language for Structured Data.
RuleML
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
2007 — conf
Bytecode Rewriting in Tom.
Bytecode@ETAPS
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
2007 — conf
Rewriting Strategies in Java.
RULE@RDP
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
2007 — conf
Rules and Strategies in Java.
WRS@RDP
Pierre-Etienne Moreau, Antoine Reilles
2007 — conf
Tom: Piggybacking Rewriting on Java.
RTA
Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
2006 J jnl
Canonical Abstract Syntax Trees
CoRR
Antoine Reilles
2006 — conf
Canonical Abstract Syntax Trees.
WRLA
Antoine Reilles
2006 — conf
Formal Validation of Pattern Matching code.
Trustworthy Software
Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
2006 — —
Réécriture et compilation de confiance. (Rewriting and trustworthy compilation).
Antoine Reilles
2005 C conf
Formal validation of pattern matching code.
PPDP
Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles
2004 — conf
An Integrated Development Environment for Pattern Matching Programming.
eTX
Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles
2004 — conf
Rule-based Programming in Java For Protocol Verification.
WRLA
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles