Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9656032 | Electronic Notes in Theoretical Computer Science | 2005 | 25 Pages |
Abstract
We describe a first proposal for a strategy language for Maude, to control the rewriting process and to be used at the object level instead of at the metalevel. We also describe a prototype implementation built over Full Maude using the metalevel and the metalanguage facilities provided by Maude. Finally, we include a series of examples that illustrate the main features of the proposed language.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Narciso MartÃ-Oliet, José Meseguer, Alberto Verdejo,