计算机科学 ›› 2008, Vol. 35 ›› Issue (2): 246-252.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 在Prolog程序分析中，考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度。当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析。为此，本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法，在此基础上给出了Prolog的操作语义和一种目标独立的标号树（LT）语义，并证明了LT语义相对于操作语义的正确性。LT语义可作为目标独立的Prolog程序路径依赖分析的基础。
关键词: 程序分析 Prolog语义 目标独立 上下文信息 抽象解释
Abstract: Considering the execution path and cut operators of a Prolog program can improve the precision of program analysis. Known semantics for Prolog either makes use of limited amount of path information and hence leads to less precise analysis or is goal-depen
Key words: Program analysis, Prolog semantics, Goal-independence, Context information, Abstract interpretation
. 目标独立的Prolog程序路径依赖分析语义[J]. 计算机科学, 2008, 35(2): 246-252. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I2/246
Cited
首页