摘要
软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
Hie correctness of the specification of a software is the precondition of the correctness of the destination code. One of the correctness requirements is the correctness of type. This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.
出处
《计算机应用与软件》
CSCD
2000年第2期1-9,29,共10页
Computer Applications and Software
基金
国家863高科技计划
上海市高校科技发展资金资助(编号:69773038)
