A rho-calculus of explicit constraint application, Proceedings of the 5th workshop on rewriting logic and applications, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00095626
Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories, Journal of Functional Programming, vol.11, issue.2, pp.207-251, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100926
A Pattern Matching Compiler for Multiple Target Languages, 12th Conference on Compiler Construction, pp.61-76, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00099427
Stratego: A language for program transformation based on rewriting strategies (system description), Rewriting Techniques and Applications, 12th International Conference, pp.357-362, 2001. ,