位置：成果数据库 > 会议 > 会议详情页
A knowledge based method for data flow analysis
  • 所属机构名称：桂林电子科技大学
  • 会议名称：2010 IEEE International Conference on Intelligent Computing and Integrated Systems, ICISS2010
  • 成果类型：会议
  • 会场：Guilin, China
  • 相关项目：基于抽象解释的逻辑程序验证研究
作者： Fang, Yili|Zhao, Lingzhong|
同会议论文项目
基于抽象解释的逻辑程序验证研究
期刊论文 21 会议论文 6
同项目会议论文
Using ASP to improve the information reuse in mechanical assembly sequence planning
An ASP based method for subassembly identification
An ASP based solution to mechanical assembly sequence planning
Semantic Web Service Composition: From OWL-S to Answer Set Programming
Automatic construction of complete abstraction by abstract interpretation