H ? « ‹ ← → › »

Language peer sets for Maude:
United States↑
United States/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Specialised Languages ↑
Specialised Languages/1990↑
Specialised Languages/us ↑

Maude(ID:2937/mau001)

alternate simple view
Country: United States
Designed 1990
Sammet category: Specialised Languages

Stanford SRI

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.

Related languages
OBJ3 → Maude   Influence
Maude → GAEA   Written using
References:
  • Meseguer (1990) Meseguer, J. "A logical theory of concurrent objects"
          in [OOPSLA/ECOOP 1990] (1990) [SIGPLAN] SIGPLAN Notices 25(10) October 1990 (OOPSLA/ECOOP '90)
  • Meseguer, J.; Winkler, T. (1991) Meseguer, J.; Winkler, T. "Parallel Programming in Maude" pp253-293
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Meseguer (1993) Meseguer, J. A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. In G. Agha, P. Wegener, and A. Yonezawa, editors, Research Directions in Object-Oriented Programming, pages 314-390. MIT Press, 1993.
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Francisco Durán and José Meseguer (1996) Francisco Durán and José Meseguer "Maude's Module Algebra" ps
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: Maude Extract:
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Skillicorn, David B. and Talia, Domenico (1998) Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
  • Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
  • N. Aoumeur, G. Saake, (1999) N. Aoumeur, G. Saake, "On the specification and validation of cooperative information systems using an extended Maude" pp95-114
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
  • Francisco Durán and José Meseguer. (2000) Francisco Durán and José Meseguer. "A Church-Rosser Checker Tool for Maude Equational Specifications." Manuscript. Universidad de Málaga and SRI International. July 2000. Abstract bib ps
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
  • Francisco Durán. (2000) Francisco Durán. "Coherence Checker and Completion Tools for Maude Specifications." Manuscript. Universidad de Málaga. July 2000. Abstract bib ps
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
  • Francisco Durán. (2000) Francisco Durán. "Termination Checker and Knuth-Bendix Completion Tools for Maude Equational Specifications." Manuscript. Universidad de Málaga. July 2000. Abstract bib ps
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí (2000) M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. "A Maude Tutorial." Manuscript, March 2000. bib ps
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí (2000) M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J.F. Quesada. "Towards Maude 2.0." In 3rd International Workshop on Rewriting Logic and its Applications (WRLA'00). Electronic Notes in Theoretical Computer Science, Vol. 36. 2000 bib Abstract ps
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
  • Peter Csaba Ölveczky and José Meseguer. (2000) Peter Csaba Ölveczky and José Meseguer. "Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems." In 3rd International Workshop on Rewriting Logic and its Applications (WRLA'00). Electronic Notes in Theoretical Computer Science, Vol. 36. 2000 ps Abstract ps bib
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí (2001) M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J.F. Quesada. "Maude: Specification and Programming in Rewriting Logic." Theoretical Computer Science 2001 bib bib ps
          in Futatsugi, K. (1999) Futatsugi, K. ; J.A. Goguen, J. Meseguer (Eds.), OBJ/CafeOBJ/Maude Workshop at Formal Methods '99: Formal Specification, Proof, and Applications, Theta, Bucharest, 1999
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder