• Z

  • 272篇参考文献[SW1091]
  • 使用Z.规范,精化和证明。这本书是一个深入的介绍…除自然演绎之外微积分见下文-仅介绍…将$Z元与精化 微积分数据精化. 整个演示文稿流畅。自然演绎的乏味论述微积分,这是不被进一步使用…
  • JML

  • 187篇参考文献[SW04997 ]
  • 语言中的一些元素精化 微积分
  • 马戏团

  • 87篇参考文献[SW21828 ]
  • 命令式CSP,Z,和精化 微积分. 我们描述马戏团的语言…
  • ZRC

  • 14篇参考文献[SW21827 ]
  • 精化 微积分对于Z,事实上,Z是一种规范语言,只有…这就是我们提出的ZRC,A精化 微积分基于摩根的作品,结合…公约这项工作是建立在现有的基础之上的。精化Z技术,但主要区别于…ZRC的法律不止一个精化 微积分ZRC是一个理论。精化
  • 北极天使

  • 14篇参考文献[SW01812]
  • 策略语言精化. 摩根精化 微积分是一种成功的软件开发技术。现在的ArcAngel,一种定义这样的语言精化策略,我们提出的语言,它的语义…
  • 伊莎贝尔/马戏团

  • 13篇参考文献[SW15208]
  • 用一个精化 微积分. 它的语义是基于霍尔和他的统一理论…支持最终证明精化对于马戏团过程(涉及两个数据…
  • 虚拟样机

  • 11篇参考文献[SW07364]
  • 动态语义(基于A)精化 微积分和图形变换)其中结构和运算…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 微积分结构(CC),广义微积分构造(GCC)和统一理论…自然演绎风格。它支持精化证明作为基本操作。系统设计强调…
  • F*

  • 18篇参考文献[SW27 563]
  • 从属类型,单行效应,精化类型和最弱的前提条件微积分. 总之,这些特点允许…
  • 阿卡吉尔

  • 6篇参考文献[ SW06338 ]
  • 精化理论与微积分与众不同,但自从细化可能是漫长而重复的…
  • 阿戈

  • 10篇参考文献[SW07192]
  • 方法)。这个微积分效率高细化比如有多余的公理…
  • 反射波

  • 1篇参考文献[ SW01821]
  • 逻辑程序,基于精化 微积分作者提出的[作者]精炼规范到逻辑…
  • 叠加演算

  • 2篇参考文献[SW28 71]
  • 连同下面精化受基本叠加的启发微积分每个子句关联…
  • 比格犬

  • 2篇参考文献[SW1369]
  • 理论。它实现了一个精炼的层次叠加的版本微积分. 该系统描述的重点是…
  • 贾瓦斯皮

  • 3篇参考文献[SW23 64 7]
  • 与应用$PI$$对应的语言微积分. 这个Java模型可以象征性地执行…调试器,用PROVIEF进行正式验证,并进一步验证精炼的一个可互操作的Java实现…
  • 时隙

  • 4篇参考文献[SW15830]
  • 功能性的,弹性的(可以抽象的)精炼的)和多种形式。TimeSQUARE是基于最新的…基于约束的多时钟时钟编辑器微积分发动机能够处理偏序…
  • alpha

  • 5篇参考文献[SW13717]
  • 统一化,例如并行化,描述是精炼的直到它被解释…并行化,代码生成,语言语义,凸多面体微积分抽象、非标准解释、程序验证…
  • MKBTT

  • 5篇参考文献[SW10018]
  • 工具Knuth Bendix完成是一个经典微积分在自动演绎转换…给出了对准则和同构细化连同所有的证据。我们进一步描述…
  • 福斯特2

  • 5篇参考文献[SW2362]
  • 基于向量的计算与快速操作微积分. 抽象模型是正式的…避开抽象模型,精炼在混凝土DTMP的结果…