Towards a strategy language for Maude

Narciso Martí-Oliet; José Meseguer; Alberto Verdejo

doi:10.1016/j.entcs.2004.06.020

Towards a strategy language for Maude

Narciso Martí-Oliet
, José Meseguer
, Alberto Verdejo

Research output: Contribution to journal › Article › peer-review

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.

Original language	English (US)
Pages (from-to)	417-441
Number of pages	25
Journal	Electronic Notes in Theoretical Computer Science
Volume	117
Issue number	SPEC. ISS.
DOIs	https://doi.org/10.1016/j.entcs.2004.06.020
State	Published - Jan 20 2005

Keywords

Maude
Rewrite strategies
Search
Strategy languages

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1016/j.entcs.2004.06.020

Library availability

Discover UIUC Full Text

Cite this

@article{7ca5f2ac5c144853aa6d3dc5c4053c72,

title = "Towards a strategy language for Maude",

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.",

keywords = "Maude, Rewrite strategies, Search, Strategy languages",

author = "Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Alberto Verdejo",

note = "N00014-02-1-0715, by NSF Grant CCR-0234524, and by DARPA through Air Force Research Laboratory Contract F30602-02-C-0130. ★ Research partially supported by MCyT project MIDAS: Metalenguajes para el dise{\~n}o y an{\'a}lisis integrado de sistemas m{\'o}viles y distribuidos (TIC2003–01000), by ONR Grant",

year = "2005",

month = jan,

day = "20",

doi = "10.1016/j.entcs.2004.06.020",

language = "English (US)",

volume = "117",

pages = "417--441",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "SPEC. ISS.",

}

TY - JOUR

T1 - Towards a strategy language for Maude

AU - Martí-Oliet, Narciso

AU - Meseguer, José

AU - Verdejo, Alberto

N1 - N00014-02-1-0715, by NSF Grant CCR-0234524, and by DARPA through Air Force Research Laboratory Contract F30602-02-C-0130. ★ Research partially supported by MCyT project MIDAS: Metalenguajes para el diseño y análisis integrado de sistemas móviles y distribuidos (TIC2003–01000), by ONR Grant

PY - 2005/1/20

Y1 - 2005/1/20

N2 - 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.

AB - 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.

KW - Maude

KW - Rewrite strategies

KW - Search

KW - Strategy languages

UR - https://www.scopus.com/pages/publications/12344262773

UR - https://www.scopus.com/pages/publications/12344262773#tab=citedBy

U2 - 10.1016/j.entcs.2004.06.020

DO - 10.1016/j.entcs.2004.06.020

M3 - Article

AN - SCOPUS:12344262773

SN - 1571-0661

VL - 117

SP - 417

EP - 441

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - SPEC. ISS.

ER -

Towards a strategy language for Maude

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this