安全类型系统在编译技术中的应用研究

• 作者: 杨丽娜 赵秀凤 郭渊博
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 类型系统 安全类型系统 编译 子类型规则 安全类型规则
• 年，卷（期）: 2008,（9）
• 所属期刊栏目: 研究与实现
• 页码范围: 145-146,157
• 页数: 3页
• 分类号: TP309|TP314
• 字数: 2495字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.09.042

摘要

类型系统是一种设计和研究程序设计语言的形式化方法和工具.本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭渊博	解放军信息工程大学电子技术学院	76	462	13.0	17.0
2	杨丽娜	解放军信息工程大学电子技术学院	10	51	3.0	7.0
3	赵秀凤	解放军信息工程大学电子技术学院	9	18	2.0	4.0