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 499 articles , 3 standard articles )

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

1 2 3 ... 23 24 25 next

  1. Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José: Partial evaluation of order-sorted equational programs modulo axioms (2017)
  2. Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto: Verifiable abstractions for contract-oriented systems (2017)
  3. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  4. Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y.H.: Dynamic rebinding for concurrent object groups: theory and practice (2017)
  5. Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen: Amalgamation of domain specific languages with behaviour (2017)
  6. Kop, Cynthia; Middeldorp, Aart; Sternagel, Thomas: Complexity of conditional term rewriting (2017)
  7. Lucas, Salvador; Meseguer, José: Dependency pairs for proving termination properties of conditional term rewriting systems (2017)
  8. Meseguer, José; Skeirik, Stephen: Equational formulas and pattern operations in initial order-sorted algebras (2017)
  9. Ölveczky, Peter Csaba: Formal modeling and analysis of distributed systems. An introduction based on executable modeling in Maude (to appear) (2017)
  10. Riesco, Adrián; Ogata, Kazuhiro: A formal proof generator from semi-formal proof documents (2017)
  11. Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi: A Maude environment for CafeOBJ (2017)
  12. Rocha, Camilo; Meseguer, José; Muñoz, César: Rewriting modulo SMT and open system analysis (2017)
  13. Rusu, Vlad; Arusoaie, Andrei: Executing and verifying higher-order functional-imperative programs in Maude (2017)
  14. Almendros-Jiménez, Jesús M.; Iribarne, Luis; López-Fernández, Jesús; Mora-Segura, Ángel: PTL: a model transformation language based on logic programming (2016)
  15. Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Debugging Maude programs via runtime assertion checking and trace slicing (2016)
  16. Arcaini, Paolo; Holom, Roxana-Maria; Riccobene, Elvinia: ASM-based formal design of an adaptivity component for a cloud system (2016)
  17. Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto: Contracts as games on event structures (2016)
  18. Braga, Christiano; Lopes, Bruno: Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case (2016)
  19. Colvin, Robert J.: Modelling and analysing neural networks using a hybrid process algebra (2016)
  20. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros: Progression and verification of situation calculus agents with bounded beliefs (2016)

1 2 3 ... 23 24 25 next