FreeCHR：一种用于CHR嵌入的代数框架
摘要：将Constraint Handling Rules (CHR)的嵌入形式化为主机语言的框架FreeCHR。使用范畴论中的初始代数语义概念，建立了CHR的高级实现方案，以及理论和实践的通用形式化。我们通过在集合范畴中的一种自然变换对CHR的语法进行提升，并使用由该自然变换生成的自由代数来提升操作语义。然后，我们将CHR的非常抽象的操作语义提升到FreeCHR中，并对其与原始定义的正确性和完备性进行了证明。
作者：Sascha Rechenberger and Thom Fr"uhwirth
论文ID：2306.00642
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-03