• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Principles and Practice of Constraint Programming(CP 2007); 20070923-27; Providence,RI(US) >An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
【24h】

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

机译：一种基于抽象解释的组合器，用于约束编程中的while循环建模

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We present the w constraint combinator that models while loops in Constraint Programming. Embedded in a finite domain constraint solver, it allows programmers to develop non-trivial arithmetical relations using loops, exactly as in an imperative language style. The deduction capabilities of this combinator come from abstract interpretation over the polyhedra abstract domain. This combinator has already demonstrated its utility in constraint-based verification and we argue that it also facilitates the rapid prototyping of arithmetic constraints (e.g. power, gcd or sum).
机译：我们介绍了在约束编程中对while循环建模的w约束组合器。嵌入在有限域约束求解器中，它使程序员可以使用循环来开发非平凡的算术关系，就像命令式语言一样。该组合器的演绎能力来自多面体抽象域的抽象解释。该组合器已经证明了其在基于约束的验证中的效用，我们认为它还可以促进算术约束（例如幂，gcd或总和）的快速原型制作。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号