EFFICIENT INTERPRETATION OF PROLOG PROGRAMS

被引：0
|
作者：
BARKLUND, J [1 ]
机构：
[1] UNIV UPPSALA,DEPT COMP SCI,UPMAIL,S-75120 UPPSALA,SWEDEN
来源：
SIGPLAN NOTICES | 1987年 / 22卷 / 07期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：132 / 137
页数：6
相关论文
共 50 条
  • [1] Abstract interpretation of Prolog programs
    Spoto, F
    Levi, G
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 455 - 470
  • [2] ABSTRACT INTERPRETATION OF PROLOG PROGRAMS
    MELLISH, CS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 463 - 474
  • [3] SPECIALIZATION OF PROLOG AND FCP PROGRAMS USING ABSTRACT INTERPRETATION
    GALLAGHER, J
    CODISH, M
    SHAPIRO, E
    [J]. NEW GENERATION COMPUTING, 1988, 6 (2-3) : 159 - 186
  • [4] Tracing Prolog programs by source instrumentation is efficient enough
    Ducassé, M
    Noyé, J
    [J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 43 (02): : 157 - 172
  • [5] Improving prolog programs: Refactoring for prolog
    Serebrenik, Alexander
    Schrijvers, Tom
    Demoen, Bart
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 (02) : 201 - 215
  • [6] Improving Prolog programs: Refactoring for prolog
    Schrijvers, T
    Serebrenik, A
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 58 - 72
  • [7] SYNC SIGNAL MODEL FOR EFFICIENT DETECTION OF PARALLELISM IN PROLOG PROGRAMS
    SRINIVAS, K
    MUTHUKRISHNAN, CR
    [J]. JOURNAL OF PROGRAMMING LANGUAGES, 1993, 1 (04): : 285 - 294
  • [8] PROFILING PROLOG PROGRAMS
    DEBRAY, SK
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (09): : 821 - 839
  • [9] Actions as prolog programs
    Tolentino, MV
    Santos, PE
    daSilva, FSC
    Rillo, M
    [J]. IEEE INTERNATIONAL JOINT SYMPOSIA ON INTELLIGENCE AND SYSTEMS, PROCEEDINGS, 1996, : 178 - 183
  • [10] THE PERFORMANCE OF PARALLEL PROLOG PROGRAMS
    FAGIN, BS
    DESPAIN, AM
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (12) : 1434 - 1445
12345