• 巴别塔

  • 引用71篇文章[sw03018]
  • 逻辑 编程具有功能和谓词:语言巴别塔。我们调查了实验编程语言。。。功能性 编程(体现在HOPE、Standard、ML或MIRANDA中)和逻辑 编程(体现在。。。将纯PROLOG与一阶相结合功能性符号。另一方面,语言。。。
  • 咖喱

  • 引用42篇文章[sw08981]
  • 真正地功能性 逻辑语言。功能性逻辑 编程是最重要的陈述性编程范例。。。在过去的十年里。但是,集成功能性 逻辑语言目前没有被广泛使用。这个。。。独立的研究工作功能性逻辑 编程社区和促进陈述性编程...
  • 再见

  • 引用47篇文章[sw12088]
  • 通用型编程支持的语言逻辑,约束,功能性,高阶,面向对象编程...
  • DLV-EX公司

  • 在14篇文章中引用[sw04642]
  • 包括许多场景,例如逻辑 编程具有功能符号,面向对象逻辑语言,国际。。。一般情况。班级程序有一个合适的(但一般来说,不可判定的)`有限的。。。关于逻辑 编程具有功能符号)。最后讨论了与现有形式主义的关系。。。
  • 轻松检查

  • 参考12篇文章[sw09735]
  • 声明的程序写在功能性 逻辑 编程语言通俗,强调实用性。。。
  • KiCS2

  • 在10篇文章中引用[sw07613]
  • 一个新的编译系统功能性 逻辑 程序源语言库里变成。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 支持定理证明器的设计,逻辑 编程语言,约束求解器和决策程序。。。功能性 编程抽象数据类型的概念和功能基于评估原则。。。提供策略构造函数来指定功能调用返回几个,至少。。。已知的重写范式提供了符合逻辑的推理系统的框架。。。
  • 常春藤

  • 引用了30篇文章[sw10279]
  • 逻辑. 这个案例研究展示了非ACL2程序可与ACL2组合功能...程序在运行时由ACL2检查功能,以及这些检查器的属性功能... 一阶定理证明逻辑. 顶部ACL2功能做一个推测,预处理。。。并调用非ACL2程序寻找证据或反证。。。
  • 玩具

  • 引用了55篇文章[sw09812]
  • 编程其基础是基于构造函数的重写逻辑具有惰性不确定性功能... 根据一本玩具的汇编程序进入序言。。。
  • VeriFast公司

  • 引用了55篇文章[sw07705]
  • 程序验证者。这张纸条描述了一种分离-逻辑-基于规范和验证的方法。。。操纵命令程序. 程序员可以声明归纳数据类型和原语递归功能对于规范。。。将记忆抽象地表示为分离逻辑断言。折叠或展开抽象谓词断言。。。
  • 外国佬

  • 引用94篇文章[sw04630]
  • 变成等价命题逻辑 程序. 答案是这样的程序可以计算。。。解算器。第三个工具clingo集成了功能就这样,咧嘴笑吧。。。
  • CFLP公司

  • 引用5篇文章[sw18674]
  • 单解算器。CFLP(约束功能性 逻辑 编程系统)是一个分布式软件系统,包括。。。功能性 逻辑 编程解释器运行在一台机器和许多约束解决引擎。。。实现可以解决功能性 逻辑包括约束,比如系统。。。
  • ProbLog公司

  • 引用了77篇文章[sw06945]
  • ProbLog是一种概率逻辑 编程基于Prolog的语言。有两个ProbLog实现可用。。。不同的方法和提供不同的功能. ProbLog1,简称ProbLog,专注于计算。。。
  • GHC公司

  • 引用了43篇文章[sw23765号]
  • 归入逻辑 编程短信和其他语言有着密切的关系。。。包括数据流语言、通信顺序进程,以及功能性多处理语言。除了缺少。。。不仅是平行的标准逻辑 编程平行语言编程语言。而且。。。
  • 丁香花

  • 引用13篇文章[sw08983]
  • 丁香:a功能性 编程基于线性的语言逻辑. 我们接受艾布拉姆斯基的学期作业。。。线性的逻辑(线性项微积分)作为功能性 编程语言。这个。。。
  • 哈斯卡斯

  • 17条引用[sw00399]
  • 现代的功能性 编程语言,并作为高阶表达的标准语言逻辑. 独特的。。。HasCasl的特征包括部分高阶功能高阶亚型,浅多态性。。。功能性-命令编程有一般的副作用,包括一个基于单子的通用Hoare逻辑...
  • 高阶逻辑

  • 引用47篇文章[sw01580]
  • 适用基础逻辑 编程比传统的谓词逻辑. HiLog有一个更高的阶。。。出现在谓词所在位置的术语,功能,原子公式出现在谓词演算中。。。高阶模文法逻辑 编程,和演绎数据库。。。
  • 臀部

  • 引用23条[sw09786]
  • 验证功能性堆操作的正确性程序. 臀部是分开的逻辑基于自动化。。。
  • 平咖喱

  • 引用4篇文章[sw28856]
  • 咖喱程序程序用另一个写的(功能性 逻辑)陈述性语言(例如,玩具),那里。。。中间语言,称为FlatCurry,用于表示功能性 逻辑 程序. 提供有关此文档的概述。。。
  • PFLP公司

  • 引用2篇文章[sw28855]
  • 概率库编程功能性 逻辑 编程语言咖喱。它证明了。。。a的概念功能性 逻辑 编程语言支持的概率库的实现。。。呼叫时间选择从功能性 逻辑 编程与…有关并一致。。。基于以下概念的实施功能性 逻辑 编程可以从尊重中受益。。。