Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)
Georg Moser · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017
In this talk, I'll describe how rewriting techniques can be successfully employed to built state-of-the-art automated resource analysis tools which favourably compare to other approaches. Furthermore I'll sketch the genesis of a uniform framework for resource analysis, emphasising success stories, without hiding intricate weaknesses. The talk ends with the discussion of open problems.