机译:使用参数集约束来定位CLP程序中的错误
Department of Computer and Information Science, Linkoeping University, S - 58183 Linkoeping, Sweden;
constraint logic programming; parametric types; descriptive types; program correctness; debugging; set constraints; term grammars;
机译:具有互补约束的一参数数学程序中的关键集
机译:集成几何和伺服动态误差以预测五轴高速机床中的体积误差的概念:使用编程的终点约束测量值在XYC三轴运动轨迹上的应用
机译:增强了Fritz John Suitcharity,新的约束资格和当地错误,用于消失的减少限制
机译:通过约束逻辑程序设计(CLP)和混合整数线性程序设计(MILP)优化管道操作
机译:有约束的数据记录:一种新的答案集编程形式。
机译:基于数据受测量误差的估计和测试:从参数到非参数似然方法
机译:使用参数集约束来定位CLP程序中的错误