Buscar
Mostrando ítems 1-1 de 1
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 ...