All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic

Manuel Clavel, Francisco Duran, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, Jose Meseguer, Carolyn Talcott

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

Original languageEnglish (US)
Title of host publicationAll About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic
Pages1-819
Number of pages819
StatePublished - Dec 1 2007

Publication series

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Clavel, M., Duran, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., & Talcott, C. (2007). All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic. In All About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic (pp. 1-819). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4350 LNCS).