Basic completion strategies as another application of the Maude strategy language
Logic in Computer Science
2012-04-26 v1 Programming Languages
Abstract
The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control the application of those actions. This level is implemented on top of Maude as a strategy language, which has been successfully used in a wide range of applications. First we summarize the Maude strategy language design and review some of its applications; then, we describe a new case study, namely the description of completion procedures as transition rules + control, as proposed by Lescanne.
Keywords
Cite
@article{arxiv.1204.5542,
title = {Basic completion strategies as another application of the Maude strategy language},
author = {Alberto Verdejo and Narciso Martí-Oliet},
journal= {arXiv preprint arXiv:1204.5542},
year = {2012}
}
Comments
In Proceedings WRS 2011, arXiv:1204.5318