您的位置： 专家智库 > >

张晓莺

作品数：1 被引量：1H指数：1
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式谱
  • 1篇规格说明语言
  • 1篇Z语言
  • 1篇Z

机构

  • 1篇上海大学

作者

  • 1篇张晓莺
  • 1篇缪淮扣
  • 1篇朱关铭

传媒

  • 1篇计算机应用与...

年份

  • 1篇2000
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
规格说明语言Z的类型检查被引量：1
2000年
软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
张晓莺朱关铭缪淮扣
关键词：规格说明语言Z语言
全选 清除 导出
共1页<1>
聚类工具0