Buscar
Mostrando ítems 1-1 de 1
Towards a Maude Formal Environment
(Springer, 2011)
Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in ...