Publications of Yann Salmon

Load the BibTeX file

International Conferences

  1. T. Genet, Y. Salmon. Proving Reachability Properties on Term Rewriting Systems with Strategies. In 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming, IWS'12, London, 2012.

Research Reports

  1. Thomas Genet, Yann Salmon. Reachability Analysis of Innermost Rewriting. July 2013. download
  2. Thomas Genet, Yann Salmon. Tree Automata Completion for Static Analysis of Functional Programs. January 2013. download