摘要：基于先前提出的顺序基于目标的CHR语义，我们引入了一种系统化的并发执行方案。我们建立了与抽象CHR语义的强对应结果，从而确保并发、目标基于CHR语义中的任何答案在抽象CHR语义中是可重现的。我们的工作为获得高效的并行CHR执行方案奠定了基础。
作者：Edmund S. L. Lam and Martin Sulzmann
论文ID：1006.3039
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-06-22
PDF 下载： 英文版 中文版pdf翻译中