Connecting remote termination tools

Authors

María Alpuente and Salvador Lucas

Abstract

After more than thirty years of development of the theory of termination of rewriting, a number of tools for automatically proving termination of TRSs have recently emerged. Their application to real programming languages and systems is of course desirable and has been envisaged in many of these tools. The World Wide Web makes it possible to gain access to the different resources in a number of ways, ranging from remote downloads followed by local executions to remote execution via WWW services. Unfortunately, though, few of the existing systems and tools (including termination tools) are readily connectable. We advocate systematically considering interoperability across platforms, applications and programming languages when developing termination tools and related language processors. This is only possible if a number of common practices (and standards) are seriously put into use by the international community.