×

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; Haskell; CASL; Coq; ITP; PMaude; Stratego; K Prover; Maude-NPA; AProVE; MTT; JavaFAN; SPIN; PVS; PVeStA; DDebugger; CIRC; MMT
Cited in: 646 Documents
all top 5

Cited by 653 Authors

148 Meseguer Guaita, José
41 Roşu, Grigore
39 Escobar, Santiago
36 Martí-Oliet, Narciso
35 Alpuente, María
35 Durán, Francisco
32 Lucas, Salvador
28 Talcott, Carolyn L.
28 Verdejo, Alberto
24 Lucanu, Dorel
22 Olveczky, Peter Csaba
20 Eker, Steven
19 Ballis, Demis
19 Clavel, Manuel
17 Riesco, Adrián
17 Sapiña, Julia
14 Johnsen, Einar Broch
14 Pita, Isabel
13 Bruni, Roberto
13 Ogata, Kazuhiro
13 Owe, Olaf
13 Palomino, Miguel
13 Rocha, Camilo
12 Kirchner, Hélène
11 Ciobanu, Gabriel
11 Şerbănuţă, Traian Florin
10 Gutiérrez, Raúl
10 Rusu, Vlad
10 Stehr, Mark-Oliver
9 Lincoln, Patrick D.
9 Montanari, Ugo G.
9 Rubio, Rubén
9 Wirsing, Martin
8 Futatsugi, Kokichi
7 Andrei, Oana
7 Arusoaie, Andrei
7 Frechina, Francisco
6 Falaschi, Moreno
6 Nigam, Vivek
6 Scedrov, Andre
5 Asăvoae, Irina Măriuca
5 Caltais, Georgiana
5 Cervesato, Iliano
5 de Boer, Frank S.
5 Diaconescu, Răzvan
5 Gnaedig, Isabelle
5 Kirchner, Claude
5 Liu, Si
5 Meadows, Catherine A.
5 Mosses, Peter D.
5 Muñoz, César A.
5 Skeirik, Stephen
5 Ştefănescu, Andrei
5 Thati, Prasanna
4 Alarcón, Beatriz
4 Bae, Kyungmin
4 Bartoletti, Massimo
4 Basin, David A.
4 Braga, Christiano
4 Caballero, Rafael E.
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 Martín, Óscar
4 Rodríguez-Hortalá, Juan
3 Aguilera, Gabriel
3 Arbab, Farhad
3 Asăvoae, Mihail
3 Aştefănoaei, Lăcrămioara
3 Bouhoula, Adel
3 Ciobâcă, Ştefan
3 Colvin, Robert J.
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 Kim, Minyoung
3 Knapp, Alexander
3 Lechner, Ulrike
3 Li, Guoqiang
3 Lluch Lafuente, Alberto
3 Marché, Claude
3 Moreau, Pierre-Etienne
3 Mossakowski, Till
3 Pérez, Jorge A.
3 Ren, Shangping
3 Rodriguez, Dilia E.
3 Romero, Daniel M.
...and 553 more Authors
all top 5

Cited in 52 Serials

51 Journal of Logical and Algebraic Methods in Programming
45 Theoretical Computer Science
17 Formal Aspects of Computing
16 The Journal of Logic and Algebraic Programming
15 Information and Computation
11 Science of Computer Programming
8 Fundamenta Informaticae
7 Theory and Practice of Logic Programming
6 Journal of Symbolic Computation
6 Higher-Order and Symbolic Computation
5 Journal of Automated Reasoning
4 MSCS. Mathematical Structures in Computer Science
4 Logical Methods in Computer Science
3 Information Processing Letters
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 Natural Computing
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

Citations by Year