• Z

  • 引用274篇文章[sw10291]
  • 使用Z规格,精炼,和证据。这本书是一个深入的介绍。。。自然推论除外微积分,见下文——仅介绍。。。$Z$与精炼 微积分和数据精炼. 整体呈现流畅。。。对自然演绎的冗长阐述微积分,不再使用。。。
  • 马戏团

  • 引用87篇文章[sw21828]
  • 强制CSP、Z和精炼 微积分. 我们描述马戏团的语言。。。
  • ZRC公司

  • 在14篇文章中引用[sw21827]
  • 精炼 微积分对于Z。事实是Z只是一种规范语言,有。。。我们提出ZRC,a精炼 微积分根据摩根的工作,包括。。。习俗。建立在现有工作的基础上精炼Z的技术,但主要区别在于。。。ZRC法律。不止一个精炼 微积分,ZRC是一种精炼...
  • 天使

  • 在14篇文章中引用[sw01812]
  • 战术语言精炼. 摩根的精炼 微积分是一种成功的软件开发技术。。。现在是ArcAngel,一种定义这种语言精炼策略;我们呈现语言,它的语义。。。
  • 伊莎贝尔/马戏团

  • 引用13篇文章[sw15208]
  • 用一个精炼 微积分. 它的语义是基于霍尔和他的统一理论。。。最终允许证明精炼对于马戏团过程(包括两个数据。。。
  • VPM公司

  • 参考11篇文章[sw07364]
  • 动态语义(基于精炼 微积分和图变换)其中的结构和操作。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 微积分结构(CC)的广义微积分建构主义(GCC)与统一理论。。。自然演绎风格。它支持精炼作为基本操作的证明。系统设计强调。。。
  • F*

  • 引用19篇文章[sw27563]
  • 依赖型,一元效应,精炼类型和最薄弱的先决条件微积分. 这些功能一起允许。。。
  • 阿坎杰奇

  • 参考6篇文章[sw06338]
  • 精炼理论和微积分与众不同,但是改进可能很长而且重复。。。
  • 阿戈克利普

  • 参考11篇文章[sw07192]
  • 方法)。这个微积分通过以下方式提高效率改进比如有多余的公理。。。
  • 刷新

  • 1条引用[sw01821]
  • 逻辑程序,基于精炼 微积分作者介绍[精炼逻辑规范。。。
  • 叠加微积分

  • 引用2篇文章[sw28571]
  • 连同以下内容精炼,灵感来自基本叠加微积分:每个子句都关联。。。
  • 小猎犬

  • 引用2篇文章[sw13649号]
  • 理论。它实现了精炼 的层次结构的叠加版本微积分. 本系统描述的重点是。。。
  • 爪哇蜘蛛

  • 第3条引用[sw23647]
  • 与应用的$pi相对应的语言$-微积分. 这个Java模型可以象征性地执行。。。调试器,通过ProVerif正式验证,以及精炼 的一个可互操作的Java实现。。。
  • 浮士德2

  • 引用8篇文章[sw23682]
  • 基于向量的计算与快速操作微积分. 抽象模型在形式上是。。。在抽象模型上,以及精炼具体的dtMP结果。。。
  • 阿尔法

  • 参考6篇文章[sw13717]
  • 统一化、并行化等),描述如下精炼 的直到它被解释出来。。。并行化,代码生成,语言语义,凸多面体微积分抽象和非标准解释,程序验证。。。
  • 时间单位

  • 引用4篇文章[sw15830]
  • 功能性、弹性(可抽象或精炼 的)而且形式多样。时间单位是基于最新的。。。基于约束的编辑器,一个多时间时钟微积分引擎能够处理部分订单。。。
  • mkbTT公司

  • 引用5篇文章[sw10018]
  • 工具。Knuth Bendix completion是一个经典微积分在自动演绎中。。。对准则和同构表示为改进连同所有的证据。我们进一步描述。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。