A Monotonic Higher - Order Semantic PathOrderingCristina Borralleras 1 and Albert Rubio 21 Universitat

Abstract

There is an increasing use of ((rst-and higher-order) rewrite rules in many programming languages and logical systems. The recursive path ordering (RPO) is a well-known tool for proving termination of such rewrite rules in the rst-order case Der82]. However, RPO has some weaknesses. For instance, since it is a simpliication ordering, it can only handle… (More)

Topics

Cite this paper

@inproceedings{Borralleras2000AMH, title={A Monotonic Higher - Order Semantic PathOrderingCristina Borralleras 1 and Albert Rubio 21 Universitat}, author={Cristina Borralleras and Albert Rubio}, year={2000} }