Analysing the complexity of functional programs: higher-order meets first-order, ICFP 2015, pp.152-164, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01231809
Term Rewriting and All That, 1998. ,
Tom: Piggybacking rewriting on java, RTA '07, vol.4533, pp.36-47, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00142045
Anti-patterns for rule-based languages, J. of Symbolic Computation, vol.45, issue.5, pp.523-550, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00429226
A faithful encoding of programmable strategies into term rewriting systems, RTA 2015, vol.36, pp.74-88, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01168956
The Maude 2.0 System, RTA '03, vol.2706, pp.76-87, 2003. ,
Proving termination by dependency pairs and inductive theorem proving, J. of Aut. Reasoning, vol.47, issue.2, pp.133-160, 2011. ,
Proving termination of programs automatically with aprove, pp.184-191, 2014. ,
Automated termination proofs for Haskell by term rewriting, ACM Trans. Program. Lang. Syst, vol.33, issue.2, p.7, 2011. ,
Anti-pattern matching, Lecture Notes in Computer Science, vol.4421, pp.110-124, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00129421
Tyrolean Termination Tool 2, RTA '09, vol.5595, pp.295-304, 2009. ,
Pattern minimization problems over recursive data types, ICFP 2008, pp.267-274, 2008. ,
Termination of Isabelle functions via termination of rewriting, ITP 2011, pp.152-167, 2011. ,
Warnings for pattern matching, J. Funct. Program, vol.17, pp.387-421, 2007. ,
Extending Mathematica with Anti-Patterns, Proceedings of the 12th International Mathematice Symposium, 2015. ,
Proving termination using recursive path orders and SAT solving, FroCoS, pp.267-282, 2007. ,
Adaptive pattern matching, ICALP '92, pp.247-260, 1992. ,
Term Rewriting Systems, 2003. ,