All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2007
|
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N. |
|
2002
|
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2003
|
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J. |
|
1996
|
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish |
|
2004
|
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn |
|
2020
|
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F. |
|
2000
|
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto |
|
2007
|
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J. |
|
1998
|
Associative-commutative rewriting on large terms. Zbl 1038.68560
Eker, Steven |
|
2003
|
Term rewriting with operator evaluation strategies. Zbl 0917.68113
Eker, Steven |
|
1998
|
The Maude LTL model checker and its implementation. Zbl 1023.68528
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish |
|
2003
|
Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2016
|
Single elementary associative-commutative matching. Zbl 0993.68049
Eker, Steven |
|
2002
|
Associative unification and symbolic reasoning modulo associativity in Maude. Zbl 1517.68158
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2018
|
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn |
|
2011
|
Maude as a metalanguage. Zbl 0917.68106
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Mesaguer, J.; Quesada, J. F. |
|
1998
|
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). Zbl 07628207
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn |
|
2022
|
Fast matching in combinations of regular equational theories. Zbl 0912.68057
Eker, S. |
|
1996
|
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn |
|
2015
|
Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). Zbl 07628207
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn |
|
2022
|
Programming and symbolic computation in Maude. Zbl 1494.68109
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn |
|
2020
|
Associative unification and symbolic reasoning modulo associativity in Maude. Zbl 1517.68158
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2018
|
Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2016
|
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn |
|
2015
|
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn |
|
2011
|
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2007
|
Deduction, strategies, and rewriting. Zbl 1277.68241
Eker, Steven; Martí-Oliet, Narciso; Meseguer, José; Verdejo, Alberto |
|
2007
|
The Maude LTL model checker. Zbl 1272.68243
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish |
|
2004
|
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn |
|
2003
|
Associative-commutative rewriting on large terms. Zbl 1038.68560
Eker, Steven |
|
2003
|
The Maude LTL model checker and its implementation. Zbl 1023.68528
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish |
|
2003
|
Maude: specification and programming in rewriting logic. Zbl 1001.68059
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N. |
|
2002
|
Single elementary associative-commutative matching. Zbl 0993.68049
Eker, Steven |
|
2002
|
Towards Maude 2. 0. Zbl 0962.68108
Clavel, M.; Duran, F.; Eker, S.; Lincoln, P.; Marti-Oliet, N.; Meseguer, J.; Quesada, J. F. |
|
2000
|
Metalevel computation in Maude. Zbl 0917.68024
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Meseguer, J. |
|
1998
|
Term rewriting with operator evaluation strategies. Zbl 0917.68113
Eker, Steven |
|
1998
|
Maude as a metalanguage. Zbl 0917.68106
Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Mesaguer, J.; Quesada, J. F. |
|
1998
|
Principles of Maude. Zbl 0912.68095
Clavel, M.; Eker, S.; Lincoln, P.; Meseguer, J. |
|
1996
|
Fast matching in combinations of regular equational theories. Zbl 0912.68057
Eker, S. |
|
1996
|