New Evaluation Commands for Maude Within Full Maude
Open Access
- 20 January 2005
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 117, 263-284
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Context-Sensitive Rewriting StrategiesInformation and Computation, 2002
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- Term Rewriting with Operator Evaluation StrategiesElectronic Notes in Theoretical Computer Science, 1998