Proving Quadratic Derivational Complexities Using Context Dependent Interpretations

@inproceedings{Moser2008ProvingQD,
  title={Proving Quadratic Derivational Complexities Using Context Dependent Interpretations},
  author={Georg Moser and Andreas Schnabl},
  booktitle={RTA},
  year={2008}
}
In this paper we study context dependent interpretations, a semantic termination method extending interpretations over the natural numbers, introduced by Hofbauer. We present two subclasses of context dependent interpretations and establish tight upper bounds on the induced derivational complexities. In particular we delineate a class of interpretations that induces quadratic derivational complexity. Furthermore, we present an algorithm for mechanically proving termination of rewrite systems… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…