位置：成果数据库 > 会议 > 会议详情页
Goal-independent semantics for path dependent analysis of prolog programs
  • 所属机构名称：桂林电子科技大学
  • 会议名称：1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
  • 成果类型：会议
  • 会场：Shanghai, China
  • 相关项目：基于依赖公式抽象的软件模型检测研究
作者： Tianlong, Gu|Lingzhong, Zhao|Junyan, Qian|
同会议论文项目
基于依赖公式抽象的软件模型检测研究
期刊论文 20 会议论文 10
同项目会议论文
Distributed collaborating system design via electronic institutional calculus
An ASP based solution to mechanical assembly sequence planning
An ASP based method for subassembly identification
A novel test case generation method for Prolog programs based on call patterns semantics
Verifying programs using abstraction and theorem proving
Formula-dependent abstraction for CTL model checking
Automatic Construction of Complete Abstraction by Abstract Interpretation
Supervising mechanism for contract based virtual organization
A formal framework for Policy-Governed institutional agency