Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor 

Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por autor "Martí Oliet, N."  

Mostrando ítems 1-3 de 3

    • Artículo
      Icon

      Maude as a Metalanguage 

      Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí Oliet, N.; Meseguer, J.; Quesada Moreno, José Francisco (Elsevier, 1998)
      One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which ...
    • Artículo
      Icon

      Maude: specification and programming in rewriting logic 

      Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí Oliet, N.; Meseguer, J.; Quesada Moreno, José Francisco (Elsevier, 2002)
      Maude is a high-level language and a high-performance system supporting executable specification and declarative programming ...
    • Artículo
      Icon

      Towards Maude 2.0 

      Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí Oliet, N.; Meseguer, J.; Quesada Moreno, José Francisco (Elsevier, 2000)
      Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.0’s three main ...