位置：成果数据库 > 期刊 > 期刊详情页
A goal-independent constraint-based correct partial answers semantics for prolog with cut
  • ISSN号：1109-2750
  • 期刊名称：WSEAS TRANSACTIONS ON COMPUTERS
  • 时间：0
  • 页码：947-952
  • 语言：中文
  • 相关项目：基于依赖公式抽象的软件模型检测研究
作者： Qian, Junyan|Gu, Tianlong|Zhao, Lingzhong|
同期刊论文项目
基于依赖公式抽象的软件模型检测研究
期刊论文 20 会议论文 10
同项目期刊论文
Abstract Model Checking for Web Services
基于扩充环境演算的虚拟组织建模与分析
基于计算解语义的逻辑程序测试和调试框架
目标独立的Prolog程序路径依赖分析语义
调用模式和正确调用模式语义在Prolog程序测试中的应用
基于抽象解释的Prolog程序验证技术研究
基于SAT的程序谓词抽象技术研究
基于自动机理论的符号模型检验
道义Petri网及其在协同组织社交建模分析中的应用
基于结构化操作语义的安全协议分析框架研究
Formal verification for C program
Abstraction-based model checking programs
LTL model checking for statecharts
基于完备抽象解释的模型检验CTL公式研究