Antoine Reilles

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Effective strategic programming for Java developers.
Softw. Pract. Exp., 2014

2009
TomML: A Rule Language for Structured Data.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

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

Rewriting Strategies in Java.
Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Bytecode Rewriting in Tom.
Proceedings of the Second Workshop on Bytecode Semantics, 2007

Tom: Piggybacking Rewriting on Java.
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006
Réécriture et compilation de confiance. (Rewriting and trustworthy compilation).
PhD thesis, 2006

Canonical Abstract Syntax Trees.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2005
Formal validation of pattern matching code.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004
An Integrated Development Environment for Pattern Matching Programming.
Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, 2004

Rule-based Programming in Java For Protocol Verification.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004


  Loading...