首页 | 本学科首页   官方微博 | 高级检索  
     

安全类型系统在编译技术中的应用研究
引用本文:赵秀凤,杨丽娜,郭渊博.安全类型系统在编译技术中的应用研究[J].计算机工程与科学,2008,30(9):145-146.
作者姓名:赵秀凤  杨丽娜  郭渊博
作者单位:解放军信息工程大学电子技术学院,河南,郑州,450004
摘    要:类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。

关 键 词:类型系统  安全类型系统  编译  子类型规则  安全类型规则

Research on the Application of Safe-Type Systems in Compilation Techniques
ZHAO Xiu-feng,YANG Li-na,GUO Yuao-bo.Research on the Application of Safe-Type Systems in Compilation Techniques[J].Computer Engineering & Science,2008,30(9):145-146.
Authors:ZHAO Xiu-feng  YANG Li-na  GUO Yuao-bo
Abstract:The type system is a formal method and tool for designing and studying programming languages. A new method to enforce the compiler's security by safe  -type systems is proposed. A formal definition of type system is given, safe-types and safe-type systems are instroduced, and sub-type rules and safe-type rules of safe-type systems are pointed out. Finally the application of safe-type systems in compilation techniques is discussed.
Keywords:type system  safe-type system  compilation  sub-type rules  safe-type rule
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程与科学》浏览原始摘要信息
点击此处可从《计算机工程与科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号