MTT swMATH ID: 9783 Software Authors: Durán, F., Lucas, S., Meseguer, J. Description: MTT: The Maude termination tool. Despite the remarkable development of the theory of termination of rewriting, its application to high-level programming languages is far from being optimal. This is due to the need for features such as conditional equations and rules, types and subtypes, (possibly programmable) strategies for controlling the execution, matching modulo axioms, and so on, that are used in many programs and tend to place such programs outside the scope of current termination tools. The operational meaning of such features is often formalized in a proof-theoretic manner by means of an inference system rather than just by a rewriting relation. In particular, Generalized Rewrite Theories (GRT) are a recent generalization of rewrite theories at the heart of the most recent formulation of Maude. Homepage: http://link.springer.com/chapter/10.1007/978-3-540-71070-7_27 Dependencies: Maude Related Software: Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; Haskell; CRC 3; ITP; Tyrolean; CASL; SCC; ChC 3; ACUOS2; VMTL; MFE; TAMARIN; GLINTS; ECCE; CO3 Cited in: 25 Publications all top 5 Cited by 33 Authors 13 Meseguer Guaita, José 9 Lucas, Salvador 8 Durán, Francisco 4 Escobar, Santiago 3 Alpuente, María 3 Martí-Oliet, Narciso 2 Gutiérrez, Raúl 2 Iborra, José 2 Palomino, Miguel 1 Aguirre, Luis Antonio 1 Alarcón, Beatriz 1 Armando, Alessandro 1 Ballis, Demis 1 Baumgartner, Peter 1 Bouhoula, Adel 1 Clavel, Manuel 1 Codescu, Mihai 1 Comini, Marco 1 Dowek, Gilles 1 Eker, Steven 1 Falaschi, Moreno 1 Jacquemard, Florent 1 Lincoln, Patrick D. 1 Lucanu, Dorel 1 Maeder, Christian 1 Mossakowski, Till 1 Navarro-Marset, Rafael 1 Pita, Isabel 1 Riesco, Adrián 1 Rocha, Camilo 1 Roşu, Grigore 1 Sapiña, Julia 1 Talcott, Carolyn L. all top 5 Cited in 7 Serials 4 Journal of Logical and Algebraic Methods in Programming 2 Theoretical Computer Science 2 Journal of Automated Reasoning 2 The Journal of Logic and Algebraic Programming 1 Logic Journal of the IGPL 1 Journal of Applied Logic 1 Lecture Notes in Computer Science Cited in 4 Fields 25 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) Citations by Year