基于模式匹配与不动点的一类遍历策略的统一与组合
计算机科学中的逻辑
2021-12-15 v2 符号计算
摘要
受一个关于偏微分方程控制的渐近模型计算机辅助推导的持续项目启发，我们引入了一类由遍历策略和上下文插入组成的项变换。我们定义了该类上的统一与组合操作，这些操作相当于合并变换以获得更复杂的变换。我们证明了统一与组合操作具有良好的代数性质，如结合性、同余性以及中性元的存在性。本文的主要部分致力于证明统一与组合操作的正确性。
引用
@article{arxiv.1904.07668,
title = {Unification and combination of a class of traversal strategies made with pattern matching and fixed-points},
author = {Walid Belkhir and Nicolas Ratier and Duy Duc Nguyen and Michel Lenczner},
journal= {arXiv preprint arXiv:1904.07668},
year = {2021}
}
备注
67 pages