Buscar
Mostrando ítems 1-3 de 3
Artículo
Maude: specification and programming in rewriting logic
(Elsevier, 2002)
Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational ...
Artículo
Maude as a Metalanguage
(Elsevier, 1998)
One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive ...
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 ...