命令的操作语义在类型系统中的一种表示

• 作者: 丁志义 宋国新 邵志清
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 操作语义 类型理论 类型系统 程序验证
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 软件技术与算法研究
• 页码范围: 1285-1288
• 页数: 4页
• 分类号: TP311
• 字数: 3338字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2006.07.030

摘要

类型系统建立在一个小的规则集合基础上,易于实现,可理解性好,且具有计算完全性和足够的表达能力.在类型系统中可以重述推导规则,将其形式化为一些归纳关系,从而直接表示了命令的操作语义.类型理论不仅适合于函数式程序的证明,也是刻画和证明命令式程序的合适的框架.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋国新	华东理工大学计算机科学与工程系	62	256	9.0	12.0
2	邵志清	华东理工大学计算机科学与工程系	90	761	14.0	24.0
3	丁志义	华东理工大学计算机科学与工程系	15	42	4.0	6.0