TermiLog: A System for Checking Termination of Queries to Logic Programs
暂无分享,去创建一个
[1] Christophe Verschaetse. Static termination analysis for definite Horn clause programs , 1992 .
[2] Patrick Cousot,et al. Abstract Interpretation and Application to Logic Programs , 1992, J. Log. Program..
[3] Manuel V. Hermenegildo,et al. Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization , 1994, ILPS.
[4] Yehoshua Sagiv,et al. Checking Termination of Queries to Logic Programs , 1996 .
[5] Lee Naish. Automatic Termination Analysis of Logic Programs , 1997 .
[6] Richard A. O'Keefe,et al. The Craft of Prolog , 1990 .
[7] Mats Carlsson,et al. SICStus Prolog User''s Manual , 1993 .
[8] Yehoshua Sagiv. A Termination Test for Logic Programs , 1991, ISLP.
[9] Jeffrey D. Ullman,et al. Efficient tests for top-down termination of logical rules , 1988, JACM.
[10] Yehoshua Sagiv,et al. Automatic Termination Analysis of Logic Programs (with Detailed Experimental Results) , 1997 .
[11] Allen Van Gelder,et al. Deriving constraints among argument sizes in logic programs , 1990, PODS '90.
[12] Danny De Schreye,et al. Termination of Logic Programs: The Never-Ending Story , 1994, J. Log. Program..
[13] Dino Pedreschi,et al. Modular termination proofs for logic and pure PROLOG programs , 1993 .
[14] Leon Sterling,et al. The Art of Prolog , 1987, IEEE Expert.
[15] Dino Pedreschi,et al. Reasoning about Termination of Pure Prolog Programs , 1993, Inf. Comput..
[16] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[17] Lutz Plümer. Termination Proofs for Logic Programs , 1990, Lecture Notes in Computer Science.
[18] Yehoshua Sagiv,et al. Inference of Monotonicity Constraints in Datalog Programs , 1989, PODS.
[19] Yehoshua Sagiv,et al. Automatic Termination Analysis of Logic Programs , 1997, ICLP.
[20] Yehoshua Sagiv,et al. Inference of monotonicity constraints in Datalog programs , 1989, PODS '89.