Sciweavers

15 search results - page 1 / 3
» MTT: The Maude Termination Tool (System Description)
Sort
View
CADE
2008
Springer
14 years 4 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...
CALCO
2007
Springer
96views Mathematics» more  CALCO 2007»
13 years 9 months ago
The Maude Formal Tool Environment
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
Manuel Clavel, Francisco Durán, Joe Hendrix...
JOT
2010
144views more  JOT 2010»
13 years 2 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
CADE
2008
Springer
14 years 4 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 ...
Haruhiko Sato, Sarah Winkler, Masahito Kurihara, A...
LISP
2008
105views more  LISP 2008»
13 years 3 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...