Antoine Reilles

Antoine Reilles

Dassault Systemes - Velizy-Villacoublay / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4613764
-
person_outline Antoine Reilles's MOST POPULAR ARTICLES
1-) Tom: Piggybacking rewriting on javaE Balland, P Brauner, R Kopetz, PE Moreau, A ReillesInternational Conference on Rewriting Techniques and Applications, 36-47, 20072412007
2-) Formal validation of pattern matching codeC Kirchner, PE Moreau, A ReillesProceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005422005
3-) Canonical abstract syntax treesA ReillesElectronic Notes in Theoretical Computer Science 176 (4), 165-179, 2007212007
4-) Implementing deep inference in TOMO Kahramanogullari, PE Moreau, A ReillesICALP Workshop on Structures and Deduction, 158--172, 200520*2005
5-) Rewriting strategies in javaE Balland, PE Moreau, A ReillesElectronic notes in theoretical computer science 219, 97-111, 2008192008