Specification and Programming
in Rewriting Logic1

Manuel Clavel, Francisco Durán, Steven Eker,
Patrick Lincoln, Narciso Martí-Oliet,
José Meseguer, and José Quesada
Computer Science Laboratory
SRI International

March 8, 1999

  • Contents
  • 1 Introduction
  • 2 Core Maude
  • 3 Full Maude
  • 4 The Semantics of Maude
  • References
  • A List of Core Maude Commands
  • B The Grammar of Core Maude
  • C The Signature of Full Maude
  • D Standard Library of Predefined Modules
  • E A Software Architecture Interoperation Example
  • Footnotes
  • These web pages have been produced from LaTeX2e sources using Hyperlatex 2.3.

    This document is also available formatted for printing from the Maude home page.