Termination of logic programs with delay declarations

被引：0
|
作者：
Marchiori, Elena [1 ]
Teusink, Frank [1 ]
机构：
[1] Department of Computer Science, Leiden University, P.O. Box 9512, 2300 RA Leiden, Netherlands
来源：
Journal of Logic Programming | / 39卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
27
引用
收藏
页码：95 / 124
相关论文
共 50 条
  • [1] Termination of logic programs with delay declarations
    Marchiori, E
    Teusink, F
    JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 95 - 124
  • [2] Verification of logic programs with delay declarations
    Apt, KR
    Luitjes, I
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1995, 936 : 66 - 90
  • [3] Verifying termination and error-freedom of logic programs with block declarations
    Smaus, Jan-Georg
    Hill, Patricia M.
    King, Andy
    Theory and Practice of Logic Programming, 2001, 1 (04) : 447 - 486
  • [4] Verifying termination and error-freedom of logic programs with block declarations
    Smaus, JG
    Hill, PM
    King, A
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 447 - 486
  • [5] Termination analysis of logic programs
    Serebrenik, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 507 - 508
  • [6] ∃-Universal termination of logic programs
    Ruggieri, S
    THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 273 - 296
  • [7] TUTORIAL ON TERMINATION OF LOGIC PROGRAMS
    DESCHREYE, D
    VERSCHAETSE, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 70 - 88
  • [8] Termination of constraint logic programs
    Ruggieri, S
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 838 - 848
  • [9] STRONG TERMINATION OF LOGIC PROGRAMS
    BEZEM, M
    JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (1-2): : 79 - 97
  • [10] Automatic termination analysis of logic programs
    Lindenstrauss, N
    Sagiv, Y
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 63 - 77
12345