• 巴别塔

  • 71篇参考文献[SW03018]
  • 逻辑 编程功能谓语:语言巴别塔。我们对实验进行了研究。编程语言功能性 编程(如希望、标准、ML或米兰达所体现的)逻辑 编程(如体现…将纯Prolog与一阶结合功能性表示法。另一方面,语言…
  • 咖喱

  • 41篇参考文献[ SW08981]
  • 真正地功能性 逻辑语言功能性逻辑 编程是最重要的陈述句编程范式…在过去的十年里。然而,集成功能性 逻辑语言目前没有被广泛使用。分开的研究努力功能性逻辑 编程社区和宣传宣言编程
  • CIAO

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

  • 14篇参考文献[SW0462]
  • 包含许多场景,例如逻辑 编程功能面向对象符号逻辑语言,国际间…一般语境。阶级程序有一个合适的(但一般来说不是可判定的)有限的…有关的具体文献逻辑 编程功能符号)。最后讨论了与现有形式主义的关系…
  • 易检查

  • 11篇参考文献[SW07935]
  • 声明的程序写在功能性 逻辑 编程语言咖喱,强调实用性。
  • KICS2

  • 9篇参考文献[SW07613]
  • 走向一个新的编译系统功能性 逻辑 程序源语言咖喱到…
  • 埃兰

  • 105篇参考文献[SW02179]
  • 支持定理证明器的设计,逻辑 编程语言、约束求解器和决策程序…功能性 编程抽象数据类型的概念和功能评价原则的基础上…提供策略构造函数来指定是否功能呼叫返回数,至少…已知的重写范式同时提供了符合逻辑的演绎系统的框架…
  • 常春藤

  • 29篇参考文献[SW10269]
  • 逻辑. 本案例研究显示了非ACL2程序可与ACL2结合使用功能程序通过ACL2在运行时检查功能和这些检查器的特性功能一阶定理证明逻辑. 顶部ACL2功能进行猜测,预处理…猜想,并调用非ACL2程序寻找证据或对抗模型…
  • 遥控玩具

  • 55篇参考文献[SW09812]
  • 编程其基础是基于构造函数的重写。逻辑懒惰非确定性功能基于汇编的玩具程序进入PROlog…
  • 验证程序

  • 54篇参考文献[SW07705]
  • 程序验证者。本说明描述了一种分离。逻辑基于规范和验证的方法…操纵命令程序. 程序员可以声明归纳数据类型和原始递归。功能为了规范…抽象记忆的抽象表示逻辑断言。折叠或展开抽象谓词断言…
  • CFLP

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

  • 88篇参考文献[SW04630]
  • 等价命题逻辑 程序. 这样的答案集程序可以计算…求解器。第三个工具,CLIGO,集成了功能性格林戈和扣,因此,行动…
  • 概率对数

  • 73篇参考文献[SW06945 ]
  • 概率对数是概率的逻辑 编程基于Prolog语言。两个PROBLE实现是可用的…不同的方法和不同的方法功能. PROSPOR1,或简称PROSPOLL,集中于计算…
  • GHC

  • 42篇参考文献[SW23 765 ]
  • 分为家族逻辑 编程语言,它与其他形式主义有着密切的关系。包括数据流语言,通信顺序过程,以及功能性用于多处理的语言。除了缺乏…不仅仅是平行的标准逻辑 编程平行语言编程语言而且…
  • 丁香花

  • 13篇参考文献[ SW08983]
  • 丁香花功能性 编程基于线性的语言逻辑. 我们接受Abramsky的学期作业…线性的逻辑(线性项演算)作为A的基础功能性 编程语言
  • 哈斯卡尔

  • 16篇参考文献[SW0399 ]
  • 现代功能性 编程语言,作为高阶表达的标准语言逻辑. 独特的。。。HASCASL的特征包括部分高阶功能,高阶亚型,浅型多态性…功能性-势在必行编程具有一般的副作用,包括基于单体的通用霍尔逻辑
  • 高阶逻辑

  • 45篇参考文献[ SW01580]
  • 适合的基础逻辑 编程比传统谓语逻辑. HiLog有更高阶…谓语出现的术语,功能原子公式在谓词演算中出现。文法、高阶和模块化逻辑 编程和演绎数据库…
  • 臀部

  • 22篇参考文献[SW0988]
  • 验证功能性堆操作的正确性程序. 臀部是一种分离逻辑基于自动化的…
  • 克莱尔

  • 33篇参考文献[SW02583]
  • 功能性)语言。虽然这些范式是众所周知的,在各种情况下都是可用的。编程具体的和抽象的集合(数据类型和程序片段),以完全用户可扩展的方式…变换一组符合逻辑的规则进入一组功能(被使用的恶魔……
  • APS

  • 29篇参考文献[SW08969]
  • 代数的编程系统(APS)集成了四个主要的计算范例:过程性的、功能性代数(重写规则…符合逻辑的. 它们可以在不同的实施层次上使用不同的组合。