• CIAO

  • 46篇参考文献[SW120 88 ]
  • 通用的编程支持的语言逻辑约束功能性高阶面向对象编程
  • 埃兰

  • 105篇参考文献[SW02179]
  • 定理证明器的设计逻辑 编程语言,约束条件解决方案和决策程序,并提供…取自功能性 编程抽象数据类型的概念和功能评价原则…提供策略构造函数来指定是否功能呼叫返回数,至少…已知的重写范式同时提供了符合逻辑的演绎系统的框架…
  • 遥控玩具

  • 55篇参考文献[SW09812]
  • 编程其基础是基于构造函数的重写。逻辑懒惰非确定性功能平等与不平等的特点约束条件术语与线性约束条件超过实际数字;目标解决…约束解决。该实现是基于一个玩具的汇编程序进入PROlog…
  • CFLP

  • 5篇参考文献[SW1867 4]
  • 单一求解器。CFLP约束 功能性 逻辑 编程系统是一个分布式软件系统。功能性 逻辑 编程在一台机器上运行的解释器和一些约束解决引擎…实现可以解决问题功能性 逻辑并涉及约束条件比如系统…
  • HMC

  • 6篇参考文献[SW09867 ]
  • 功能性 程序生成一组符合逻辑的精化约束条件谁的满意意味着安全…
  • 臀部

  • 22篇参考文献[SW0988]
  • 验证功能性堆操作的正确性程序. 臀部是一种分离逻辑基于自动化的…模块化验证堆操作规范程序. 规范语言允许用户定义的电感…数据结构。规范可以包含两个堆约束条件各种纯约束条件像算术约束条件
  • AQCS

  • 14篇参考文献[SW08109]
  • AQCS是一个程序求解量化约束条件大约。量化的约束是一个公式…一阶谓词逻辑包含以下符号:在RealS、浮点上的变量…区间常数功能符号+和,谓词符号<=,=,<,> =和>,以及量词存在…
  • 乔托

  • 16篇参考文献[ SW08971]
  • 沢田家康:一种嵌入式的时间触发语言编程. GIOTO提供了一个抽象程序员的模型…具有硬实时的嵌入式控制系统约束条件. 一个典型的控制应用包括周期性的…软件任务与模式切换逻辑用于启用和禁用任务。吉奥托指定…改变功能吉奥托的时间程序. 通过分离平台独立于…
  • CLP(Flex)

  • 5篇参考文献[ SW28 534 ]
  • Flex):约束 逻辑 编程应用于XML处理。在本文中,我们提出了一个实现…约束求解模块,CLP(Flex),用于处理等式中的统一的术语…灵活多变功能符号然后介绍了CLP(Flex)的应用。
  • 啤酒

  • 5篇参考文献[SW28 843]
  • 特征和价值的适当性规范。任意的约束条件可以附加到类型和类型…交叉统一步骤逻辑 程序目标召唤(在DCGs可以做到)程序用适当的编码,它也可以执行词汇的几个方面。功能性语法
  • 阿佐维

  • 12篇参考文献[SW04634 ]
  • 问题可以算作0/1美元整数。程序(0/1美元IPS)。结构的研究…给定线性目标的解功能. 所有这些任务都可以用……来完成。计算中非常流行和有效的数据结构逻辑学硬件验证。我们提出…为线性构造BDD约束(所谓的阈值BDD)和并行的…
  • PROSTO-L

  • 7篇参考文献[SW02476]
  • 基于逻辑 编程集成了各种概念编程以知识为基础的大…外部关系数据库和有限域约束条件. 类型概念涵盖用户定义的排序、子排序…添加关系,也定义用户功能是可用的。模块的概念是相似的…
  • 高斯

  • 4篇参考文献[SW23 79]
  • 求积。给定正交问题和性能约束条件在解决方案上,高斯选择了最好的…几乎最佳的算法。高斯使用归纳法逻辑 编程概括性能数据的数据库…为新的问题实例推荐算法。高斯功能在线(新的数据和信息)
  • LP2正常

  • 2篇参考文献[SW25505]
  • 扩展规范化工具逻辑 程序. 答案集编程(ASP)具有丰富的规则为基础的…条件和约束条件. 规范化意味着用相同的方法替换这些扩展规则。运转正常的集合…在地上充当过滤器逻辑 程序由地主生产的,比如Grango…使用可比技术的语句。产生的逻辑 程序是对缺少工具的适当输入。
  • Jun-2

  • 11篇参考文献[SW07216]
  • 基于编程从普通命令获得编程不是通过添加一个特性…介绍(“var声明”)创建一个高度原则性的约束解决原始的美丽正交结合约束两人求解器符合逻辑的理论变成单一约束联合求解器…配对理论的求解器功能(这仅仅是一个实现…
  • 序言检查

  • 3篇参考文献[SW14206]
  • 基于测试程序逻辑 编程语言Prolog与随机化测试数据生成…已知的QuickCheck,最初设计用于功能性 编程哈斯克尔语它包括交易的特点…支持类型、模式和规范的语言约束条件关于成功计算的数量…