• 蚱蜢

  • 5篇参考文献[SW23 304]
  • 性能这个逻辑支持混合分离 逻辑一阶逻辑断言,产生表现力…
  • 维里斯塔尔

  • 3篇参考文献[SW0933]
  • 一个可判定子集的证明分离 逻辑. 和VeliSalk一起,证明了一个响亮的小脚…机器验证程序的紧密集成收集逻辑学和提供基础正确性的编译器保证VeriStar…蕴藏在证实的声音中。分离 逻辑C小调…容易被移植到其他地方分离 逻辑学
  • 雷神

  • 5篇参考文献[SW150 79]
  • 面向对象推理,一种基于分离 逻辑这是能够自动推理关于…
  • 冠脚

  • 5篇参考文献[SW07706]
  • 基于Crowfoot的断言语言分离 逻辑特征嵌套霍尔三元组描述…
  • 科里斯塔尔

  • 3篇参考文献[SW18520]
  • CARSTAR:JSTAR的核心。分离 逻辑是一种很有前途的程序验证方法。然而。。。为发展提供基础支持分离 逻辑工具本文展示了一种语言…
  • SDSAT

  • 2篇参考文献[SW0842]
  • 现有的分离 逻辑(A.K.A.差异)逻辑,DL)解算器可以大致分类为渴望…优点。我们提出一本小说分离 逻辑解决方案SDSAT结合了两者的优势…变量出现的均匀适当范围分离谓语。这个阶段类似于以前…变量的范围较小。此外,分离 逻辑公式没有转化为等式…
  • 自动呼气

  • 2篇参考文献[SW32 246]
  • 基于命令的HOL及其实现分离 逻辑框架。这项工作的主要目标…功能程序与工作分离 逻辑
  • 帕洛格

  • 39篇参考文献[SW23 764 ]
  • 作为谓语句子阅读逻辑. 它不同于PROlog在并入模式…有效实施的原因及其区别分离并并行或并行评价。帕洛克…PARLO简介它假定熟悉逻辑编程
  • 单足蹦跳

  • 5篇参考文献[SW22620]
  • 执行费用逻辑一个应用程序,而第二个负责…执行图形用户界面。单足蹦跳分离这个逻辑图形用户界面…
  • TSAT++

  • 3篇参考文献[SW21350]
  • 提出,显示TSAT++,实例化为分离 逻辑,与国家竞争,或者比国家更快。
  • 跳跃

  • 2篇参考文献[SW20269]
  • 并发性。近期计划逻辑学基于分离 逻辑强调模块化的方法来证明功能…
  • 机械化语义库

  • 5篇参考文献[SW13123]
  • 程序语义模型的开发逻辑学类型系统:分离代数,许可共享模型,间接…分步标引的清洁公理化与模态逻辑学. 图书馆特别强调…
  • DTRE

  • 3篇参考文献[SW22672]
  • 理论和解释提供了一个干净的,逻辑上基于分离在类型和它们的实现之间;因此…
  • 弗洛依德

  • 1篇参考文献[SW28 118]
  • 弗洛依德:A分离 逻辑验证C程序正确性的工具。验证的软件工具链…浅埋高阶分离霍尔逻辑这在COQ中被证明是正确的。
  • 斯波克

  • 5篇参考文献[SW30413]
  • 新兴的逻辑-严格编程范式分离一个问题的描述及其求解…他们的节目。不同于其他领域逻辑编程,应用跟踪技术进行调试逻辑
  • 激光测距仪

  • 2篇参考文献[SW31 155]
  • 沟通模式。我们主张分离属于符合逻辑的组件组成,后端图形定义…
  • 煤堆

  • 17篇参考文献[SW16105]
  • 派生和并行性,作为这样的执行逻辑程序可以同时具有递归和辅助功能。抽象地。编程的发展经常发生。分别地并且通常都是以实施为主导的。在这里。。。一个新方言的实施逻辑编程,以守卫懒惰的考古学为特征…
  • 德拉戈

  • 3篇参考文献[SW150 332 ]
  • 内部执行分离本体论。使用分布式描述逻辑学作为一个正式的框架…
  • 克莱尔

  • 33篇参考文献[SW02583]
  • 祈使(功能)语言。虽然这些范式是分别地众所周知的,可在各种…推理编译程序转换一组符合逻辑的规则变成一组函数(恶魔…
  • 混音

  • 2篇参考文献[SW075 95]
  • 结构化的通用体系结构符合逻辑的层次清晰分离关切。实现…