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

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

1 2 3 ... 33 34 35 next

  1. Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J.: Optimization of rewrite theories by equational partial evaluation (2022)
  2. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Simulating and model checking membrane systems using strategies in Maude (2022)
  3. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Metalevel transformation of strategies (2022)
  4. Stehr, Mark-Oliver; Kim, Minyoung; Talcott, Carolyn L.: A probabilistic approximate logic for neuro-symbolic learning and reasoning (2022)
  5. Tokas, Shukun; Owe, Olaf; Ramezanifarkhani, Toktam: Static checking of GDPR-related privacy compliance for object-oriented distributed systems (2022)
  6. Aman, Bogdan; Ciobanu, Gabriel: Travelling salesman problem in tissue P systems with costs (2021)
  7. Basile, Davide; Fantechi, Alessandro; Rucher, Luigi; Mandò, Gianluca: Analysing an autonomous tramway positioning system with the \textscUppaalstatistical model checker (2021)
  8. Blondin, Maude Josée: Controller tuning optimization methods for multi-constraints and nonlinear systems. A metaheuristic approach (2021)
  9. Caltais, Georgiana; Tunç, Hünkar Can: Explaining safety failures in NetKAT (2021)
  10. Cirstea, Horatiu; Lermusiaux, Pierre; Moreau, Pierre-Etienne: Pattern eliminating transformations (2021)
  11. Dokter, Kasper; Gadducci, Fabio; Lion, Benjamin; Santini, Francesco: Soft constraint automata with memory (2021)
  12. Dundua, Besik; Kutsia, Temur; Marin, Mircea: Variadic equational matching in associative and commutative theories (2021)
  13. Durán, Francisco; Rocha, Camilo; Salaün, Gwen: Resource provisioning strategies for BPMN processes: specification and analysis using Maude (2021)
  14. González-Burgueño, Antonio; Ölveczky, Peter Csaba: Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL (2021)
  15. Li, Liyi; Gunter, Elsa L.: A complete semantics of (\mathbbK) and its translation to Isabelle (2021)
  16. Lucas, Salvador: Derivational complexity and context-sensitive Rewriting (2021)
  17. Lucas, Salvador: Applications and extensions of context-sensitive rewriting (2021)
  18. Meseguer, José: Symbolic computation in Maude: some tapas (2021)
  19. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Strategies, model checking and branching-time properties in Maude (2021)
  20. Winkler, Sarah; Moser, Georg: Runtime complexity analysis of logically constrained rewriting (2021)

1 2 3 ... 33 34 35 next