%0 Journal Article
%T 可信软件代码中程序标注的使用及类型验证
%A 赵洋
%A 徐晓刚
%A 张功萱
%A 张容
%J 武汉大学学报(信息科学版)
%D 2010
%X ？程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。
%K 可信代码
%K 程序标注
%K 程序验证
%U http://ch.whu.edu.cn/CN/abstract/abstract941.shtml