您的位置: 专家智库 > >

广西青年科学基金(0542036)

作品数:1 被引量:1H指数:1
相关作者:钱俊彦赵岭忠古天龙更多>>
相关机构:桂林电子科技大学西安电子科技大学更多>>
发文基金:广西青年科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇上下文
  • 1篇上下文信息
  • 1篇PROLOG...

机构

  • 1篇桂林电子科技...
  • 1篇西安电子科技...

作者

  • 1篇古天龙
  • 1篇赵岭忠
  • 1篇钱俊彦

传媒

  • 1篇计算机科学

年份

  • 1篇2008
1 条 记 录,以下是 1-1
排序方式:
目标独立的Prolog程序路径依赖分析语义被引量:1
2008年
在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度。当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析。为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语义,并证明了LT语义相对于操作语义的正确性。LT语义可作为目标独立的Prolog程序路径依赖分析的基础。
赵岭忠古天龙钱俊彦
关键词:上下文信息
共1页<1>
聚类工具0