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 条
  • [1] Termination analysis of logic programs
    Serebrenik, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 507 - 508
  • [2] Automatic termination analysis of logic programs
    Lindenstrauss, N
    Sagiv, Y
    LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 63 - 77
  • [3] Termination analysis for abductive general logic programs
    Verbaeten, S
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 365 - 379
  • [4] Automated termination analysis for logic programs with cut
    Schneider-Kamp, Peter
    Giesl, Juergen
    Stroeder, Thomas
    Serebrenik, Alexander
    Thiemann, Rene
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 365 - 381
  • [5] A semantic basis for the termination analysis of logic programs
    Codish, M
    Taboch, C
    JOURNAL OF LOGIC PROGRAMMING, 1999, 41 (01): : 103 - 123
  • [6] Automated termination analysis for logic programs by term rewriting
    Schneider-Kamp, Peter
    Giesl, Juergen
    Serebrenik, Alexander
    Thiemann, Rene
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, 4407 : 177 - +
  • [7] A General Framework for Automatic Termination Analysis of Logic Programs
    Nachum Dershowitz
    Naomi Lindenstrauss
    Yehoshua Sagiv
    Alexander Serebrenik
    Applicable Algebra in Engineering, Communication and Computing, 2001, 12 : 117 - 156
  • [8] Termination analysis of logic programs based on dependency graphs
    Nguyen, Manh Thang
    Giesl, Juergen
    Schneider-Kamp, Peter
    De Schreye, Danny
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, 4915 : 8 - +
  • [9] Polynomial interpretations as a basis for termination analysis of logic programs
    Nguyen, MT
    De Schreye, D
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 311 - 325
  • [10] Reuse of results in termination analysis of typed logic programs
    Bruynooghe, M
    Codish, M
    Genaim, S
    Vanhoof, W
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 477 - 492
12345