机译:使用约束处理规则和数组约束归纳进行程序验证
Univ G dAnnunzio, Viale Pindaro 42, I-65127 Pescara, Italy;
Univ Roma Tor Vergata, Via Politecn 1, I-00133 Rome, Italy;
Univ G dAnnunzio, Viale Pindaro 42, I-65127 Pescara, Italy;
CNR, IASI, Via Taurini 19, I-00185 Rome, Italy;
Constraint Handling Rules; Constraint logic programming; Program transformation; Program verification;
机译:一组推理规则,用于对整数进行程序验证时的量化公式处理和数组处理
机译:约束多目标风电场布局优化:基于约束规划的新型约束处理方法
机译:约束处理规则中的软件约束传播和求解
机译:使用约束来验证规则程序的属性
机译:约束编程技术,用于为现场可编程门阵列生成高效的硬件架构。
机译:从封面开始:几何约束(从头到尾的排除规则)可能是具有60个以上顶点的富勒烯中孤立五边形规则的基础
机译:使用约束处理规则和数组约束概括进行程序验证