Buscar
Mostrando ítems 1-1 de 1
Artículo
Towards Maude 2.0
(Elsevier, 2000)
Maude 2.0 is the new version of the Maude rewriting logic language currently under development. Maude 2.0’s three main goals are: (i) greater generality and expressiveness;( ii) efficient support for a wider range of ...