Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Functional modules"
Now showing items 1-1 of 1
-
Article
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 ...