基本完备化策略作为 Maude 策略语言的又一应用
计算机科学中的逻辑
2012-04-26 v1 编程语言
摘要
重写逻辑中方程与规则的分离提供了数据及其上操作的两个层次，而策略层作为控制这些操作应用的第三层次对其进行了补充。该层次是在 Maude 之上作为策略语言实现的，并已成功应用于广泛的领域。首先，我们总结了 Maude 策略语言的设计并回顾了其一些应用；然后，我们描述了一个新的案例研究，即按照 Lescanne 提出的方案，将完备化过程描述为转移规则加控制。
引用
@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}
}
备注
In Proceedings WRS 2011, arXiv:1204.5318