摘要：高级表约束逻辑编程框架TCHR：一种兼容表逻辑编程的约束处理规则（CHR）的高级框架
作者：Tom Schrijvers, Bart Demoen, David S. Warren
论文ID：0712.3830
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-12-27
PDF 下载： 英文版 中文版pdf翻译中