We introduce a new technique for proving termination of term rewriting systems. The technique, a specialization of Zantema's semantic labelling technique, is especially useful for establishing the correctness of transformation methods that attempt to prove termination by transforming term rewriting systems into systems whose termination is easier to prove. We apply the technique to modularity, distribution elimination, and currying, resulting in new results, shorter correctness proofs, and a positive solution to an open problem.
CITATION STYLE
Middeldorp, A., Ohsaki, H., & Zantema, H. (1996). Transforming termination by self-labelling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1104, pp. 373–387). Springer Verlag. https://doi.org/10.1007/3-540-61511-3_101
Mendeley helps you to discover research relevant for your work.