Principles of Maude

M. Clavel, S. Eker, P. Lincoln, J. Meseguer

Research output: Contribution to journalArticlepeer-review


This paper introduces the basic concepts of the rewriting logic language Maude and discusses its implementation. Maude is a wide-spectrum language supporting formal specification, rapid prototyping, and parallel programming. Maude's rewriting logic paradigm includes the functional and object-oriented paradigms as sublanguages. The fact that rewriting logic is reflective leads to novel metaprogramming capabilities that can greatly increase software reusability and adaptability. Control of the rewriting computation is achieved through internal strategy languages defined inside the logic. Maude's rewrite engine is designed with the explicit goal of being highly extensible and of supporting rapid prototyping and formal methods applications, but its semi-compilation techniques allow it to meet those goals with good performance.

Original languageEnglish (US)
Pages (from-to)65-89
Number of pages25
JournalElectronic Notes in Theoretical Computer Science
Issue numberC
StatePublished - 1996
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Principles of Maude'. Together they form a unique fingerprint.

Cite this