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

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

1 2 3 ... 31 32 33 next

  1. Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.: A partial evaluation framework for order-sorted equational programs modulo axioms (2020)
  2. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  3. Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn: Programming and symbolic computation in Maude (2020)
  4. Durán, Francisco; Meseguer, José; Rocha, Camilo: Ground confluence of order-sorted conditional specifications modulo axioms (2020)
  5. Meseguer, José: Generalized rewrite theories, coherence completion, and symbolic methods (2020)
  6. Alpuente, María; Ballis, Demis; Cuenca-Ortega, Angel; Escobar, Santiago; Meseguer, José: (\mathsfACUOS^\mathbf2): a high-performance system for modular ACU generalization with subtyping and inheritance (2019)
  7. Aman, Bogdan; Ciobanu, Gabriel: Verification of multi-agent systems with timeouts for migration and communication (2019)
  8. Gutiérrez, Raúl; Lucas, Salvador: Automatic generation of logical models with AGES (2019)
  9. Johansen, Christian; Owe, Olaf: Dynamic structural operational semantics (2019)
  10. Liu, Si; Ölveczky, Peter Csaba; Wang, Qi; Gupta, Indranil; Meseguer, José: Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (2019)
  11. Lucas, Salvador: Proving semantic properties as first-order satisfiability (2019)
  12. Nigam, Vivek; Talcott, Carolyn; Urquiza, Abraão Aires: Symbolic timed trace equivalence (2019)
  13. Pavlovic, Dusko (ed.); Hanna, Erin; Lynch, Christopher; Myers, David Jaz; Richardson, Corey: Finding intruder knowledge with cap-matching (2019)
  14. van Binsbergen, L. Thomas; Mosses, Peter D.; Sculthorpe, Neil: Executable component-based semantics (2019)
  15. Aguirre, Luis; Martí-Oliet, Narciso; Palomino, Miguel; Pita, Isabel: Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (2018)
  16. Alpuente, María; Ballis, Demis; Sapiña, Julia: Inferring safe Maude programs with ÁTAME (2018)
  17. Basin, David; Cremers, Cas; Meadows, Catherine: Model checking security protocols (2018)
  18. Ciobâcă, Ştefan; Lucanu, Dorel: A coinductive approach to proving reachability properties in logically constrained term rewriting systems (2018)
  19. Confalonieri, Roberto; Eppe, Manfred; Schorlemmer, Marco; Kutz, Oliver; Peñaloza, Rafael; Plaza, Enric: Upward refinement operators for conceptual blending in the description logic (\mathcalEL^++) (2018)
  20. 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)

1 2 3 ... 31 32 33 next