- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Artículos (Ciencias de la Computación e Inteligencia Artificial)
- 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 "Meseguer, J."
Mostrando ítems 1-3 de 3
-
Artículo
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
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
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 ...