Unfolding the Mystery of Mergesort
暂无分享,去创建一个
[1] Danny De Schreye,et al. Automatic Termination Analysis , 1992, LOPSTR.
[2] Patrick Cousot,et al. Abstract Interpretation and Application to Logic Programs , 1992, J. Log. Program..
[3] Yehoshua Sagiv,et al. Automatic Termination Analysis of Logic Programs , 1997, ICLP.
[4] Jeffrey D. Ullman,et al. Principles Of Database And Knowledge-Base Systems , 1979 .
[5] Dino Pedreschi,et al. Modular termination proofs for logic and pure PROLOG programs , 1993 .
[6] Andy King,et al. Inferring Argument Size Relationships with CLP(R) , 1996, LOPSTR.
[7] Giorgio Levi,et al. Declarative Modeling of the Operational Behavior of Logic Languages , 1989, Theor. Comput. Sci..
[8] Krzysztof R. Apt,et al. From logic programming to Prolog , 1996, Prentice Hall International series in computer science.
[9] Alon Y. Halevy,et al. Constraints and redundancy in datalog , 1992, PODS.
[10] Jeffrey D. Ullman,et al. Efficient tests for top-down termination of logical rules , 1988, JACM.
[11] Allen Van Gelder,et al. Deriving constraints among argument sizes in logic programs , 1990, PODS '90.
[12] Lutz Plümer. Termination Proofs for Logic Programs , 1990, Lecture Notes in Computer Science.
[13] Yehoshua Sagiv,et al. Inference of Monotonicity Constraints in Datalog Programs , 1989, PODS.
[14] Michael Codish,et al. A Semantic Basis for the Termination Analysis of Logic Programs , 1999, J. Log. Program..
[15] Jeffrey D. Uuman. Principles of database and knowledge- base systems , 1989 .
[16] Yehoshua Sagiv. A Termination Test for Logic Programs , 1991, ISLP.
[17] Annalisa Bossi,et al. Preserving Universal Termination through Unfold/Fold , 1994, ALP.
[18] Danny De Schreye,et al. Termination of Logic Programs: The Never-Ending Story , 1994, J. Log. Program..
[19] Alexander Serebrenik,et al. TermiLog: A System for Checking Termination of Queries to Logic Programs , 1997, CAV.