TALP:: A tool for the termination analysis of logic programs

被引：0
|
作者：
Ohlebusch, E
Claves, C
Marché, C
机构：
[1] Univ Bielefeld, Fac Technol, D-33501 Bielefeld, Germany
[2] Univ Paris 11, Ctr Orsay, CNRS, URA 410,LRI, F-91405 Orsay, France
来源：
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS | 2000年 / 1833卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：270 / 273
页数：4
相关论文
共 50 条
  • [21] Dependency Triples for Improving Termination Analysis of Logic Programs with Cut
    Stroeder, Thomas
    Schneider-Kamp, Peter
    Giesl, Juergen
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2011, 6564 : 184 - +
  • [22] Inferring termination conditions for logic programs using backwards analysis
    Genaim, S
    Codish, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 75 - 91
  • [23] Non-termination Analysis of Logic Programs Using Types
    Voets, Dean
    De Schreye, Danny
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2011, 6564 : 133 - 148
  • [24] Research Summary: Non-termination Analysis of Logic Programs
    Voets, Dean
    LOGIC PROGRAMMING, 2009, 5649 : 553 - 554
  • [25] Termination of logic programs with delay declarations
    Marchiori, Elena
    Teusink, Frank
    Journal of Logic Programming, 39 (01): : 95 - 124
  • [26] METHODOLOGY FOR PROVING THE TERMINATION OF LOGIC PROGRAMS
    WANG, B
    SHYAMASUNDAR, RK
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 214 - 227
  • [27] Termination of logic programs with delay declarations
    Marchiori, E
    Teusink, F
    JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 95 - 124
  • [28] A METHODOLOGY FOR PROVING TERMINATION OF LOGIC PROGRAMS
    WANG, B
    SHYAMASUNDAR, RK
    JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (01): : 1 - 30
  • [29] Input-termination of logic programs
    Rao, MRKK
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 215 - 230
  • [30] Termination prediction for general logic programs
    Shen, Yi-Dong
    De Schreye, Danny
    Voets, Dean
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 751 - 780
12345