10.3969/j.issn.1000-1220.2006.07.030
命令的操作语义在类型系统中的一种表示
类型系统建立在一个小的规则集合基础上,易于实现,可理解性好,且具有计算完全性和足够的表达能力.在类型系统中可以重述推导规则,将其形式化为一些归纳关系,从而直接表示了命令的操作语义.类型理论不仅适合于函数式程序的证明,也是刻画和证明命令式程序的合适的框架.
操作语义、类型理论、类型系统、程序验证
27
TP311(计算技术、计算机技术)
国家高技术研究发展计划863计划60373075;教育部科学技术研究项目01077;中国科学院重点实验室基金SYSKF0305;上海市科委资助项目045115006
2006-07-31(万方平台首次上网日期,不代表论文的发表时间)
共4页
1285-1288