云南高校图书馆联盟文献共享服务平台- 中央高校基本科研业务费专项资金(6082015)

中央高校基本科研业务费专项资金(6082015): 作品数：1被引量：3H指数：1; 导出分析报告; 相关作者：周国富杜卓敏更多>>; 相关机构：武汉大学更多>>; 相关期刊：《软件学报》更多>>; 相关主题：程序语义程序代码形式化建模技术隐含更多>>; 相关领域：自动化与计算机技术更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

程序代码中隐含数据与控制的Petri网建模技术被引量：3: 《软件学报》2011年第12期2905-2918,共14页周国富杜卓敏; 国家自然科学基金(61040036);国家教育部留学回国人员科研启动基金;湖北省自然科学基金(2009CDB218);中央高校基本科研业务费专项资金(6082015);高等学校学科创新引智计划(B07037); 应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petr...; 关键词：形式化 PETRI网程序语义静态分析