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

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

1 2 3 ... 32 33 34 next

  1. Blondin, Maude Josée: Controller tuning optimization methods for multi-constraints and nonlinear systems. A metaheuristic approach (2021)
  2. Caltais, Georgiana; Tunç, Hünkar Can: Explaining safety failures in NetKAT (2021)
  3. Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco: Soft constraint automata with memory (2021)
  4. Dundua, Besik; Kutsia, Temur; Marin, Mircea: Variadic equational matching in associative and commutative theories (2021)
  5. González-Burgueño, Antonio; Ölveczky, Peter Csaba: Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL (2021)
  6. Lucas, Salvador: Applications and extensions of context-sensitive rewriting (2021)
  7. Xie, Wanling; Zhu, Huibiao; Xu, Qiwen: A process calculus BigrTiMo of mobile systems and its formal semantics (2021)
  8. Alpuente, María; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José: Order-sorted homeomorphic embedding modulo combinations of associativity and/or commutativity axioms (2020)
  9. Alpuente, María; Pardo, Daniel; Villanueva, Alicia: Abstract contract synthesis and verification in the symbolic (\mathbbK) framework (2020)
  10. Alpuente, M.; Ballis, D.; Sapiña, J.: Efficient safety enforcement for Maude programs via program specialization in the \textsfÁTAME system (2020)
  11. Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.: A partial evaluation framework for order-sorted equational programs modulo axioms (2020)
  12. Carette, Jacques; Farmer, William M.; Sharoda, Yasmine: Leveraging the information contained in theory presentations (2020)
  13. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  14. Diaconescu, Răzvan: Introducing (H), an institution-based formal specification and verification language (2020)
  15. Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn: Programming and symbolic computation in Maude (2020)
  16. Durán, Francisco; Meseguer, José; Rocha, Camilo: Ground confluence of order-sorted conditional specifications modulo axioms (2020)
  17. Eeralla, Ajay Kumar; Lynch, Christopher: Bounded ACh unification (2020)
  18. Găină, Daniel; Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi: Stability of termination and sufficient-completeness under pushouts via amalgamation (2020)
  19. Lucas, Salvador: Using well-founded relations for proving operational termination (2020)
  20. Lucas, Salvador; Meseguer, José; Gutiérrez, Raúl: The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (2020)

1 2 3 ... 32 33 34 next