动态模式的实现
On the Implementation of Dynamic Patterns
摘要：
在纯模式演算中，用一条元规则描述了动态模式模式匹配的评价机制。这一贡献提出了一个细化，缩小了抽象演算和它的实现之间的差距。演算的目的是允许推理的匹配算法。证明了新演算的融合性，并模拟了原纯模式演算。一个家庭的新的，匹配驱动的，减少战略的建议。
英文摘要：
The evaluation mechanism of pattern matching with dynamic patterns is modelled in the Pure Pattern Calculus by one single meta-rule. This contribution presents a refinement which narrows the gap between the abstract calculus and its implementation. A calculus is designed to allow reasoning on matching algorithms. The new calculus is proved to be confluent, and to simulate the original Pure Pattern Calculus. A family of new, matching-driven, reduction strategies is proposed.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
