10.3969/j.issn.1000-386X.2000.02.001
规格说明语言Z的类型检查
软件规格说明的正确性是软件目标代码正确性的前提.正确性要求之一就是类型正确.本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论.
Z规格说明、模式、类型检查
17
TP3(计算技术、计算机技术)
国家高技术研究发展计划863计划;上海市高等学校科技发展基金69773038
2004-01-15(万方平台首次上网日期,不代表论文的发表时间)
共10页
1-9,29