A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties
暂无分享,去创建一个
[1] John W. Lloyd,et al. Partial Evaluation in Logic Programming , 1991, J. Log. Program..
[2] Alberto Pettorossi,et al. Transformation of Logic Programs: Foundations and Techniques , 1994, J. Log. Program..
[3] Annalisa Bossi,et al. A method for specializing logic programs , 1990, TOPL.
[4] Siau-Cheng Khoo,et al. Parameterized partial evaluation , 1993, TOPL.
[5] Michael Leuschel,et al. Partial Deduction of the Ground Representation and its Application to Integrity Checking , 1995, ILPS.
[6] Ulrich Neumerkel,et al. Specialization of Prolog Programs with Partially Static Goals and Binarization , 1992 .
[7] John P. Gallagher,et al. Deletion of Redundant Unary Type Predicates from Logic Programs , 1992, LOPSTR.
[8] John P. Gallagher,et al. Specialisation of a Unification Algorithm , 1991, LOPSTR.
[9] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.
[10] Peter Sestoft,et al. Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.
[11] Robert Paige,et al. Finite Differencing of Computable Expressions , 1982, TOPL.
[12] William L. Scherlis,et al. Program improvement by internal specialization , 1981, POPL '81.
[13] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[14] Alan Bundy,et al. Logic Program Synthesis via Proof Planning , 1992, LOPSTR.