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

著录项

• 来源
  《计算机工程与科学》 |2008年第9期|145-146157|共3页
• 作者

  赵秀凤; 杨丽娜; 郭渊博;

  展开▼
• 作者单位

  解放军信息工程大学电子技术学院;

  河南;

  郑州;

  450004;

  解放军信息工程大学电子技术学院;

  河南;

  郑州;

  450004;

  解放军信息工程大学电子技术学院;

  河南;

  郑州;

  450004;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 安全保密;编译程序、解释程序;
• 关键词

  类型系统; 安全类型系统; 编译; 子类型规则; 安全类型规则;