TCHR

TCHR:一个表格CLP的框架。表约束逻辑程序设计是一种强大的执行机制,用于处理约束逻辑编程而不必担心不动点计算。已经提出了各种应用,例如在程序分析和模型检查领域。不幸的是,缺乏开发新应用的高级系统,程序员被迫求助于复杂的自组织解决方案。本文介绍了TCHR,一个高层次的表格约束逻辑编程框架。它集成了轻量级的约束处理规则,一个高级语言的约束求解器,与表逻辑编程。该框架很容易用新的应用程序特定的约束域实例化。可以实例化各种高级别操作以控制性能。特别地,我们提出了一种新的压缩答案集的通用技术。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


ZBMaX中的参考文献(3篇)1标准条款

显示结果1至3的3。
按年份排序(引文

  1. 克雷默斯,M. F. G.;雷米,M. J.;施莱尔,K.R.A.M.;德胡伊,L.P.H.:燃料和氧气层流停滞火焰的热化学放热(2010)
  2. Bart,沃伦,David S.:TCCHR:一个表格CLP的框架(2008)
  3. Bart,沃伦,David Scott:TCCHR:一个表格CLP的框架(2007)伊波尔特