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

Funds: 国家自然科学基金资助项目(60850002);高等学校博士学科点专项科研基金资助项目(20093219120026);南京理工大学科技发展基金资助项目(XKF09017)
More Information
  • Received Date: March 14, 2010
  • Revised Date: July 08, 2013
  • Published Date: May 04, 2010
  • 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.
  • Related Articles

    [1]LIU Junnan, LIU Haiyan, CHEN Xiaohui, GUO Xuan, GUO Wenyue, ZHU Xinming, ZHAO Qingbo, LI Jia. Terrorism Event Model by Knowledge Graph[J]. Geomatics and Information Science of Wuhan University, 2022, 47(2): 313-322. DOI: 10.13203/j.whugis20190428
    [2]LU Wei, AI Tinghua. Center Point Extraction of Simple Area Object Using Triangulation Skeleton Graph[J]. Geomatics and Information Science of Wuhan University, 2020, 45(3): 337-343. DOI: 10.13203/j.whugis20180236
    [3]YUAN Xiuxiao, YUAN Wei, CHEN Shiyu. An Automatic Detection Method of Mismatching Points in Remote Sensing Images Based on Graph Theory[J]. Geomatics and Information Science of Wuhan University, 2018, 43(12): 1854-1860. DOI: 10.13203/j.whugis20180154
    [4]WANG Ping, WEI Zheng, CUI Weihong, LIN Zhiyong. A Image Segmentation Method Based on Statistics Learning Theory and Minimum Spanning Tree[J]. Geomatics and Information Science of Wuhan University, 2017, 42(7): 877-883. DOI: 10.13203/j.whugis20150345
    [5]TIAN Jing, SONG Zihan, AI Tinghua. Grid Pattern Extraction in Road Networks with Graph[J]. Geomatics and Information Science of Wuhan University, 2012, 37(6): 724-727.
    [6]DENG Min, LIU Qiliang, LI Guangqiang, XIAO Qi. A Spatial Clustering Algorithm Based on Minimum Spanning Tree-like[J]. Geomatics and Information Science of Wuhan University, 2010, 35(11): 1360-1364.
    [7]WAN Youchuan, HUANG Jun. Influence of Geometric and Graph Theoretical Measures on Land Classification Using High-Resolution Remote Sensing Images[J]. Geomatics and Information Science of Wuhan University, 2009, 34(7): 794-798.
    [8]XIA Lanfang, HU Peng, HUANG Menglong. Zero Initialization of Spatial Data and Minimum Spanning Tree Algorithm in Presence of Arbitrary Obstacles[J]. Geomatics and Information Science of Wuhan University, 2009, 34(1): 60-63.
    [9]ZHANG Yuanyu, LI Lin, JIN Yuping, ZHU Haihong. Structured Design of Dendritic River Networks Based on Graph[J]. Geomatics and Information Science of Wuhan University, 2004, 29(6): 537-539,543.
    [10]Lin Zongjian, Fu Zhongliang. Automatic Separation of Graph/Symbol in Topographic Map[J]. Geomatics and Information Science of Wuhan University, 1994, 19(4): 328-331.

Catalog

    Article views PDF downloads Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return