11 search results - page 1 / 3 » Multi-completion with Termination Tools (System Description) |
CADE
2008
Springer
14 years 5 months ago
2008
Springer
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 ...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
TELSYS
1998
13 years 4 months ago
1998
The Multimedia Internet Terminal (MINT)1 is a flexible multimedia tool set that allows the establishment and control of multimedia sessions across the Internet. The system archit...
RTA
2011
Springer
12 years 7 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
TLDI
2009
ACM
14 years 1 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...