Maude as a metalanguage

M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada

Research output: Contribution to journalArticlepeer-review


One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive evidence supporting the claim that rewriting logic is indeed a very flexible and simple logical and semantic framework. Prom a language design point of view the obvious question to ask is: how can a rewriting logic language best support logical and semantic framework applications, so that it becomes a metalanguage in which a very wide variety of logics and languages can be both semantically defined, and implemented! Our answer is: by being reflective. This paper discusses our latest language design and implementation work on Maude as a reflective metalanguage in which entire environments-including syntax definition, parsing, pretty printing, execution, and input/output-can be defined for a language or logic C of choice.

Original languageEnglish (US)
Pages (from-to)147-160
Number of pages14
JournalElectronic Notes in Theoretical Computer Science
StatePublished - 1998
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


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

Cite this