ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Parameterization"
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 ...