ZHAO Yang, XU Xiaogang, ZHANG Gongxuan, ZHANG Rong. Employment of Program Annotations in Trusted Code and Their Type Verification[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 570-573.
Citation:
ZHAO Yang, XU Xiaogang, ZHANG Gongxuan, ZHANG Rong. Employment of Program Annotations in Trusted Code and Their Type Verification[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 570-573.
ZHAO Yang, XU Xiaogang, ZHANG Gongxuan, ZHANG Rong. Employment of Program Annotations in Trusted Code and Their Type Verification[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 570-573.
Citation:
ZHAO Yang, XU Xiaogang, ZHANG Gongxuan, ZHANG Rong. Employment of Program Annotations in Trusted Code and Their Type Verification[J]. Geomatics and Information Science of Wuhan University, 2010, 35(5): 570-573.
Employment of Program Annotations in Trusted Code and Their Type Verification
We propose to use the permission system to act as a bridge connecting program annotations and program code.Within the permissions,we could verify the credibilities and safety properties of the program from the level of source code.Thus the reliability and maintainability of software systems could be improved.
DownLoad: