The Maude 2.0 system

Manuel Clavel, Francisco Duràn, Steven Eker, Patrick Lincoln, Narciso Martì-Oliet, Josè Meseguer, Carolyn Talcott

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper gives an overview of the Maude 2.0 system. We emphasize the full generality with which rewriting logic and membership equational logic are supported, operational semantics issues, the new built-in modules, the more general Full Maude module algebra, the new META-LEVEL module, the LTL model checker, and new implementation techniques yielding substantial performance improvements in rewriting modulo. We also comment on Maude’s formal tool environment and on applications.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsRobert Nieuwenhuis
PublisherSpringer-Verlag Berlin Heidelberg
Pages76-87
Number of pages12
ISBN (Print)3540402543, 9783540402541
DOIs
StatePublished - 2003
Event14th International Conference on Rewriting Techniques and Applications, RTA 2003 - Valencia, Spain
Duration: Jun 9 2003Jun 11 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2706
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other14th International Conference on Rewriting Techniques and Applications, RTA 2003
CountrySpain
CityValencia
Period6/9/036/11/03

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this