Towards a Strategy Language for Maude
Open Access
- 20 January 2005
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 117, 417-441
- https://doi.org/10.1016/j.entcs.2004.06.020
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Specification of real-time and hybrid systems in rewriting logicTheoretical Computer Science, 2002
- A Maude specification of an object-oriented model for telecommunication networksTheoretical Computer Science, 2002
- ELAN from a rewriting logic point of viewTheoretical Computer Science, 2002
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICSInternational Journal of Foundations of Computer Science, 2001
- Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science.Published by Defense Technical Information Center (DTIC) ,1996