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; José Meseguer; Carolyn Talcott

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, José Meseguer, Carolyn Talcott

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	All About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic
Pages	1-819
Number of pages	819
State	Published - 2007

Publication series

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

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Library availability

Discover UIUC Full Text

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).

All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic. / Clavel, Manuel; Duran, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn.

All About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic. 2007. p. 1-819 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4350 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4350 LNCS, pp. 1-819.

Clavel M, Duran F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J et al. 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. 2007. p. 1-819. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Clavel, Manuel ; Duran, Francisco ; Eker, Steven ; Lincoln, Patrick ; Martí-Oliet, Narciso ; Meseguer, José ; Talcott, Carolyn. / All about maude - A high-performance logical framework how to specify, program and verify systems in rewriting logic. All About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic. 2007. pp. 1-819 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{dc9161360bf3439b8d5d2c1c739949a7,

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

author = "Manuel Clavel and Francisco Duran and Steven Eker and Patrick Lincoln and Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Carolyn Talcott",

year = "2007",

language = "English (US)",

isbn = "9783540719403",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "1--819",

booktitle = "All About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic",

}

TY - GEN

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

AU - Clavel, Manuel

AU - Duran, Francisco

AU - Eker, Steven

AU - Lincoln, Patrick

AU - Martí-Oliet, Narciso

AU - Meseguer, José

AU - Talcott, Carolyn

PY - 2007

Y1 - 2007

UR - http://www.scopus.com/inward/record.url?scp=38049179424&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38049179424&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:38049179424

SN - 9783540719403

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 819

BT - All About Maude - A High-Performance Logical Framework - How to Specify, Program and Verify Systems in Rewriting Logic

ER -

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

Publication series

ASJC Scopus subject areas

Library availability

Related links

Cite this