Principles of Maude

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

Research output: Contribution to journalArticle

Abstract

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
Volume4
Issue numberC
DOIs
StatePublished - 1996
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

  • Cite this