Maude

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.


References in zbMATH (referenced in 597 articles , 3 standard articles )

Showing results 1 to 20 of 597.
Sorted by year (citations)

1 2 3 ... 28 29 30 next

  1. Lemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek: On the accuracy of formal verification of selective defenses for TDoS attacks (2018)
  2. Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl: The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (2018)
  3. Skeirik, Stephen; Meseguer, José: Metalevel algorithms for variant satisfiability (2018)
  4. Zhang, Min; Ogata, Kazuhiro: From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (2018)
  5. Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José: Partial evaluation of order-sorted equational programs modulo axioms (2017)
  6. Alpuente, M.; Escobar, S.; Sapiña, J.; Cuenca-Ortega, A.: Inspecting Maude variants with $\mathsfGLINTS$ (2017)
  7. Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto: Verifiable abstractions for contract-oriented systems (2017)
  8. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  9. Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y. H.: Dynamic rebinding for concurrent object groups: theory and practice (2017)
  10. Butterfield, Andrew: Utpcalc -- a calculator for UTP predicates (2017)
  11. Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen: Amalgamation of domain specific languages with behaviour (2017)
  12. Kop, Cynthia; Middeldorp, Aart; Sternagel, Thomas: Complexity of conditional term rewriting (2017)
  13. Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei: A generic framework for symbolic execution: a coinductive approach (2017)
  14. Lucas, Salvador; Meseguer, José: Dependency pairs for proving termination properties of conditional term rewriting systems (2017)
  15. Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco: A language-based approach to modelling and analysis of Twitter interactions (2017)
  16. Meseguer, José; Skeirik, Stephen: Equational formulas and pattern operations in initial order-sorted algebras (2017)
  17. Ölveczky, Peter Csaba: Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude (2017)
  18. Riesco, Adrián; Ogata, Kazuhiro: A formal proof generator from semi-formal proof documents (2017)
  19. Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi: A Maude environment for CafeOBJ (2017)
  20. Rocha, Camilo; Meseguer, José; Muñoz, César: Rewriting modulo SMT and open system analysis (2017)

1 2 3 ... 28 29 30 next