Predictive Labeling

概要

論文の詳細を見る
Proceedings of the 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006.Semantic labeling is a transformation technique for proving the termination of rewrite systems. The semantic part is given by a quasi-model of the rewrite rules. In this paper we present a variant of semantic labeling in which the quasi-model condition is only demanded for the usable rules induced by the labeling. Our variant is less powerful in theory but maybe more useful in practice.