位置：成果数据库 > 会议 > 会议详情页
Automatic construction of complete abstraction by abstract interpretation
  • 所属机构名称：桂林电子科技大学
  • 会议名称：8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009
  • 成果类型：会议
  • 会场：Shanghai, China
  • 相关项目：基于抽象解释的逻辑程序验证研究
作者： Qian, Junyan|Zhao, Lingzhong|Cai, Guoyong|Gu, Tianlong|
同会议论文项目
基于抽象解释的逻辑程序验证研究
期刊论文 21 会议论文 6
同项目会议论文
Using ASP to improve the information reuse in mechanical assembly sequence planning
A knowledge based method for data flow analysis
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