Path dependent analysis of logic programs

被引：0
|
作者：
Lu, LJ [1 ]
机构：
[1] Oakland Univ, Dept Comp Sci & Engn, Rochester, MI 48309 USA
来源：
ACM SIGPLAN NOTICES | 2002年 / 37卷 / 03期
关键词：
abstract interpretation; context sensitive analysis; call strings;
D O I：
10.1145/509799.503038
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents an abstract semantics that uses information about execution paths to improve precision of data flow analyses of logic programs. We illustrate the abstract semantics by abstracting execution paths using call strings of fixed length and the last transfer of control. Abstract domains that have been developed for logic program analyses can be used with the new abstract semantics without modification.
引用
收藏
页码：63 / 74
页数：12
相关论文
共 50 条
  • [1] PATH FOR AND-PARALLEL EXECUTION OF LOGIC PROGRAMS
    LEE, SH
    KIM, DH
    CHOE, KM
    INFORMATION PROCESSING LETTERS, 1994, 52 (04) : 191 - 199
  • [2] Goal-independent semantics for path dependent analysis of prolog programs
    Zhao, Lingzhong
    Gu, Tianlong
    Qian, Junyan
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 261 - +
  • [3] Set-based analysis of logic programs and reactive logic programs
    Podelski, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 35 - 36
  • [4] Termination analysis of logic programs
    Serebrenik, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 507 - 508
  • [5] ANALYSIS OF RESIDUATING LOGIC PROGRAMS
    HANUS, M
    JOURNAL OF LOGIC PROGRAMMING, 1995, 24 (03): : 219 - 245
  • [6] Analysis of normal logic programs
    Fages, F
    Gori, R
    STATIC ANALYSIS, 1998, 1503 : 82 - 98
  • [7] Analysis of imperative programs through analysis of constraint logic programs
    Peralta, JC
    Gallagher, JP
    Saglam, H
    STATIC ANALYSIS, 1998, 1503 : 246 - 261
  • [8] TASK GRANULARITY ANALYSIS IN LOGIC PROGRAMS
    DEBRAY, SK
    LIN, NW
    HERMENEGILDO, M
    SIGPLAN NOTICES, 1990, 25 (06): : 174 - 188
  • [9] Automatic termination analysis of logic programs
    Lindenstrauss, N
    Sagiv, Y
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 63 - 77
  • [10] Abductive analysis of modular logic programs
    Giacobazzi, R
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 457 - 483
12345