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

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.

Key words: type system, safe-type system, compilation, sub-type rules, safe-type rule