策略的元级转换
计算机科学中的逻辑
2024-01-17 v1
摘要
在基于重写逻辑的反射式Maude规范语言中，引入了一种策略语言来控制规则重写，同时避免复杂冗长的元级程序。然而，正如某些元编程任务需要多级反射一样，策略的反射式操作和生成在多种情况下都很方便。本文给出了一些反射式策略转换的示例，这些转换实现了特殊的求值形式或扩展了策略语言，同时保留了其优势。
引用
@article{arxiv.2401.07749,
title = {Metalevel transformation of strategies},
author = {Rubén Rubio and Narciso Martí-Oliet and Isabel Pita and Alberto Verdejo},
journal= {arXiv preprint arXiv:2401.07749},
year = {2024}
}