Wamn抽象机(WAM) 相关硕士博士期刊学术论文

描述了一个优化的约束逻辑程序设计(CLP)系统的编译方法和编译优化策略.该系统是一个多重论域的CLP系统,以区间算术和约束传播作为......