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.
Disclaimer: The English version of this article is automatically generated by Baidu Translation and only for reference. We therefore are not responsible for its reasonableness, correctness and completeness, and will not bear any commercial and legal responsibilities for the relevant consequences arising from the English translation.
DownLoad: