CHR中的展开
摘要：程序转换是一种吸引人的技术，可以提高运行时效率、空间消耗，更一般地优化给定的程序。它基本上由一系列保留某种语义等价性的语法程序操作组成。大多数程序转换系统使用的基本操作是展开，它将过程调用替换为其定义。尽管关于顺序程序的转换和展开有大量的文献，但很少有论文涉及并发语言的这个问题，据我们所知，还没有其他论文考虑过CHR程序的展开。本文为CHR程序定义了一个正确的展开系统。我们定义了展开规则，展示了其正确性，并讨论了一些条件，可以用来删除展开规则而保留程序的含义。我们证明了上述转换保持了汇聚性和终止性质。
作者：Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
论文ID：0807.3979
分类：Programming Languages
分类简称：cs.PL
提交时间：2008-07-28