Programming and symbolic computation in Maude

• Published in: Journal of logical and algebraic methods in programming Vol. 110; p. 100497
• Main Authors: Durán, Francisco, Eker, Steven, Escobar, Santiago, Martí-Oliet, Narciso, Meseguer, José, Rubio, Rubén, Talcott, Carolyn
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2020
• Subjects: External objects; Maude and rewriting logic; Meta-interpreters; Strategies; Symbolic model checking; Unification and narrowing; Symbolic model checking; Meta-interpreters; Maude and rewriting logic; Unification and narrowing; Strategies; External objects

Rewriting logic is both a flexible semantic framework within which widely different concurrent systems can be naturally specified and a logical framework in which widely different logics can be specified. Maude programs are exactly rewrite theories. Maude has also a formal environment of verificatio...