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 条
  • [41] On modular termination proofs of general logic programs
    Bossi, A
    Cocco, N
    Rossi, S
    Etalle, S
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2002, 2 : 263 - 291
  • [42] On termination of logic programs with floating point computations
    Serebrenik, A
    De Schreye, D
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 151 - 164
  • [43] On modular termination proofs of general logic programs
    Bossi, Annalisa
    Cocco, Nicoletta
    Rossi, Sabina
    Etalle, Sandro
    Theory and Practice of Logic Programming, 2002, 2 (03) : 263 - 291
  • [44] Detecting optimal termination conditions of logic programs
    Mesnard, F
    Payet, E
    Neumerkel, U
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 509 - 525
  • [45] Inferring and compiling termination for constraint logic programs
    Hoarau, S
    Mesnard, F
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 240 - 254
  • [46] A TRANSFORMATIONAL METHODOLOGY FOR PROVING TERMINATION OF LOGIC PROGRAMS
    RAO, MRKK
    KAPUR, D
    SHYAMASUNDAR, RK
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 213 - 226
  • [47] CHARACTERIZING TERMINATION OF LOGIC PROGRAMS WITH LEVEL MAPPINGS
    BEZEM, M
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 69 - 80
  • [48] The Dependency Triple Framework for Termination of Logic Programs
    Schneider-Kamp, Peter
    Giesl, Juergen
    Nguyen, Manh Thang
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 37 - +
  • [49] Termination analysis of logic programs through combination of type-based norms
    Bruynooghe, Maurice
    Codish, Michael
    Gallagher, John R.
    Genaim, Samir
    Vanhoof, Wim
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2007, 29 (02):
  • [50] TermiLog: A system for checking termination of queries to logic programs
    Lindenstrauss, N
    Sagiv, Y
    Serebrenik, A
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 444 - 447
12345