home > publications > AM:RTA:09

Dependency Pairs and Polynomial Path Orders

Dependency Pairs and Polynomial Path Orders
Martin Avanzini and Georg Moser
Rewriting Techniques and Applications, 20th International Conference, RTA 2009, Brası́lia, Brazil, June 29 - July 1, 2009, Proceedings, volume 5595 of Lecture Notes in Computer Science, pages 48–62, (2009).

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.

Categories

, , , , ,