优化HAL中约束处理规则的编译

摘要:Constraint Handling Rules(CHR)的优化编译研究

作者:Christian Holzbaur, Maria Garcia de la Banda, Peter J. Stuckey, Gregory J. Duck

论文ID:cs/0408025

分类:Programming Languages

分类简称:cs.PL

提交时间:2010-09-03

PDF 下载: 英文版 中文版pdf翻译中