×

Maude

swMATH ID: 6233
Software Authors: Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Description: Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.
Homepage: http://maude.cs.uiuc.edu/overview.html
Related Software: CafeOBJ; OBJ3; ELAN; CASL; Haskell; Coq; K Prover; ITP; Stratego; JavaFAN; AProVE; PMaude; MTT; PVS; Maude-NPA; SPIN; MMT; Isabelle; Uppaal; PVeStA
Referenced in: 613 Publications
all top 5

Referenced by 625 Authors

142 Meseguer Guaita, José
47 Roşu, Grigore
45 Martí-Oliet, Narciso
33 Durán, Francisco
31 Alpuente, María
31 Escobar, Santiago
31 Lucas, Salvador
26 Verdejo, Alberto
25 Talcott, Carolyn L.
24 Lucanu, Dorel
21 Olveczky, Peter Csaba
19 Clavel, Manuel
18 Eker, Steven
16 Riesco, Adrián
15 Ballis, Demis
14 Johnsen, Einar Broch
13 Bruni, Roberto
13 Owe, Olaf
13 Palomino, Miguel
13 Pita, Isabel
12 Kirchner, Hélène
12 Ogata, Kazuhiro
12 Rocha, Camilo
12 Sapiña, Julia
11 Ciobanu, Gabriel
11 Şerbănuţă, Traian Florin
10 Rusu, Vlad
10 Stehr, Mark-Oliver
9 Gutiérrez, Raúl
9 Lincoln, Patrick D.
9 Montanari, Ugo G.
9 Wirsing, Martin
8 Futatsugi, Kokichi
7 Andrei, Oana
7 Arusoaie, Andrei
7 Frechina, Francisco
6 Scedrov, Andre
5 Cervesato, Iliano
5 de Boer, Frank S.
5 Diaconescu, Răzvan
5 Falaschi, Moreno
5 Gnaedig, Isabelle
5 Kirchner, Claude
5 Mosses, Peter D.
5 Muñoz, César A.
5 Nigam, Vivek
5 Ştefănescu, Andrei
5 Thati, Prasanna
4 Alarcón, Beatriz
4 Asăvoae, Irina Măriuca
4 Bae, Kyungmin
4 Bartoletti, Massimo
4 Basin, David A.
4 Braga, Christiano
4 Caballero, Rafael E.
4 Caltais, Georgiana
4 Cirstea, Horatiu
4 Cuenca-Ortega, Angel
4 Denker, Grit
4 Farzan, Azadeh
4 Gadducci, Fabio
4 Gaĭnă, Daniel
4 Genet, Thomas
4 Goriac, Eugen-Ioan
4 Kahramanoğulları, Ozan
4 Kapur, Deepak
4 Liu, Si
4 Martín, Óscar
4 Meadows, Catherine A.
4 Rubio, Rubén
4 Skeirik, Stephen
3 Aguilera, Gabriel
3 Asăvoae, Mihail
3 Aştefănoaei, Lăcrămioara
3 Bouhoula, Adel
3 Ciobâcă, Ştefan
3 Espert, Javier
3 Falke, Stephan
3 Fissore, Olivier
3 Harman, N. A.
3 Havelund, Klaus
3 Hendrix, Joe
3 Iborra, José
3 Jouannaud, Jean-Pierre
3 Katelman, Michael
3 Knapp, Alexander
3 Lechner, Ulrike
3 Li, Guoqiang
3 Lluch Lafuente, Alberto
3 Marché, Claude
3 Moreau, Pierre-Etienne
3 Mossakowski, Till
3 Ren, Shangping
3 Rodríguez-Hortalá, Juan
3 Rodriguez, Dilia E.
3 Romero, Daniel M.
3 Salaün, Gwen
3 Sasse, Ralf
3 Schlatte, Rudolf
3 Villanueva, Alicia
...and 525 more Authors
all top 5

Referenced in 51 Serials

43 Theoretical Computer Science
41 Journal of Logical and Algebraic Methods in Programming
18 Formal Aspects of Computing
16 The Journal of Logic and Algebraic Programming
15 Information and Computation
11 Science of Computer Programming
8 Fundamenta Informaticae
6 Journal of Symbolic Computation
6 Higher-Order and Symbolic Computation
6 Theory and Practice of Logic Programming
5 Journal of Automated Reasoning
4 Logical Methods in Computer Science
3 Information Processing Letters
3 MSCS. Mathematical Structures in Computer Science
3 Formal Methods in System Design
2 Studia Logica
2 International Journal of Foundations of Computer Science
2 Cybernetics and Systems Analysis
2 Journal of Functional Programming
2 Annals of Mathematics and Artificial Intelligence
2 Logic Journal of the IGPL
2 Computer Languages, Systems & Structures
2 Lecture Notes in Computer Science
2 Mathematics in Computer Science
1 Acta Informatica
1 Artificial Intelligence
1 Applied Mathematics and Computation
1 Automatica
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 Programming and Computer Software
1 Journal of Algorithms
1 Cybernetics and Systems
1 Data & Knowledge Engineering
1 Journal of Logic and Computation
1 International Journal of Computer Mathematics
1 Pattern Recognition
1 Analele Științifice ale Universității Al. I. Cuza din Iași. Serie Nouă. Informatică
1 Informatica (Ljubljana)
1 LMS Journal of Computation and Mathematics
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Applied Logic
1 Electronic Notes in Theoretical Computer Science
1 Dissertationes Mathematicae Universitatis Tartuensis
1 Foundations of Artificial Intelligence
1 Logica Universalis
1 Journal of Theoretical Biology
1 SpringerBriefs in Optimization
1 Undergraduate Topics in Computer Science
1 Monographs in Theoretical Computer Science. An EATCS Series
1 Journal of Membrane Computing

Referencing Publications by Year