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

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

1 2 3 ... 30 31 32 next

  1. 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)
  2. Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Debugging maude programs via runtime assertion checking and trace slicing (2016)
  3. Arcaini, Paolo; Holom, Roxana-Maria; Riccobene, Elvinia: ASM-based formal design of an adaptivity component for a cloud system (2016)
  4. Bartoletti, Massimo; Cimoli, Tiziana; Michele Pinna, G.; Zunino, Roberto: Contracts as games on event structures (2016)
  5. Braga, Christiano; Lopes, Bruno: Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case (2016)
  6. Colvin, Robert J.: Modelling and analysing neural networks using a hybrid process algebra (2016)
  7. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio; Vassos, Stavros: Progression and verification of situation calculus agents with bounded beliefs (2016)
  8. Jaskolka, Jason; Khedri, Ridha: Mitigating covert channels based on analysis of the potential for communication (2016)
  9. Lochau, Malte; Mennicke, Stephan; Baller, Hauke; Ribbeck, Lars: Incremental model checking of delta-oriented software product lines (2016)
  10. Riesco, Adrián; Ogata, Kazuhiro; Futatsugi, Kokichi: Cafeinmaude: A cafeobj interpreter in maude (2016)
  11. ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (2016)
  12. Zhang, Qinglei; Khedri, Ridha: On the weaving process of aspect-oriented product family algebra (2016)
  13. Alpuente, M.; Ballis, D.; Frechina, F.; Sapiña, J.: Exploring conditional rewriting logic computations (2015)
  14. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  15. Anastasio, Thomas J.: Computer modeling in neuroscience: from imperative to declarative programming. Maude modeling in neuroscience. (2015)
  16. Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres: Combining behavioural types with security analysis (2015)
  17. Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea: A white box perspective on behavioural adaptation (2015)
  18. Caltais, Georgiana: Expression-based aliasing for OO-languages (2015)
  19. Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason: Strategy based semantics for mobility with time and access permissions (2015)
  20. Din, Crystal Chang; Owe, Olaf: Compositional reasoning about active objects with shared futures (2015)

1 2 3 ... 30 31 32 next