Sciweavers

Share
CADE
2008
Springer

Multi-completion with Termination Tools (System Description)

9 years 10 months ago
Multi-completion with Termination Tools (System Description)
Abstract. In this paper we describe a new tool for performing KnuthBendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for completion with multiple reduction orderings introduced by Kurihara and Kondo (1999) and (2) the inference system for completion with external termination provers proposed by Wehrman, Stump and Westbrook (2006) and implemented in the Slothrop system. Our tool can be used with any termination tool that satisfies certain minimal requirements. Preliminary experimental results show the potential of our tool.
Haruhiko Sato, Sarah Winkler, Masahito Kurihara, A
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where CADE
Authors Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp
Comments (0)
books