• Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 

      Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; [et al.] (2017)
      This paper introduces some novel features of Maude 2.7. We have added support for: (i) built-in order-sorted unification modulo associativity, commutativity, and identity, (ii) built-in variant generation, (iii) built-in ...
    • Modular DSLs for flexible analysis: An e-Motions reimplementation of Palladio 

      Moreno-Delgado, Antonio; Durán, Francisco; Zschaler, Steffen; Troya, Javier (2014-08-01)
      We address some of the limitations for extending and validating MDE-based implementations of NFP analysis tools by presenting a modular, model-based partial reimplementation of one well-known analysis framework, namely the ...