Antoine Reilles

According to our database, Antoine Reilles authored at least 11 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Effective strategic programming for Java developers.

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles

Softw. Pract. Exp., 2014

2009

TomML: A Rule Language for Structured Data.

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Rule Interchange and Applications, International Symposium, 2009

2007

Rules and Strategies in Java.

Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Rewriting Strategies in Java.

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Bytecode Rewriting in Tom.

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Tom: Piggybacking Rewriting on Java.

Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Réécriture et compilation de confiance. (Rewriting and trustworthy compilation).

Antoine Reilles

PhD thesis, 2006

Canonical Abstract Syntax Trees.

Antoine Reilles

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Formal Validation of Pattern Matching code.

Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

2004

An Integrated Development Environment for Pattern Matching Programming.

Julien Guyon, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 2004

Rule-based Programming in Java For Protocol Verification.

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004