Sciweavers

RTA
2009
Springer

Dependency Pairs and Polynomial Path Orders

14 years 5 months ago
Dependency Pairs and Polynomial Path Orders
Abstract. We show how polynomial path orders can be employed efficiently in conjunction with weak innermost dependency pairs to automatically certify the polynomial runtime complexity of term rewrite systems and the polytime computability of those functions computed by these rewrite systems. The established techniques have been implemented and we provide ample experimental data to assess the new method.
Martin Avanzini, Georg Moser
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where RTA
Authors Martin Avanzini, Georg Moser
Comments (0)