Extending Partial Deduction to Tabled Execution: Some Results and Open Issues

ACM Computing Surveys

Volumn 30, Issue 3, 1998, Pages 1-5

  Sagonas, Konstantinos ^a   Leuschel, Michael ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0345826165     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/289121.289137     Document Type: Article

References (19)

1. Boulanger, D. and Bruynooghe, M. 1993. Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. Journal of Symbolic Computation 15, 5-6, 495-521.
2. Bruynooghe, M., Leuschel, M., and Sagonas, K. 1998. A Polyvariant Binding Time Analysis for Off-line Partial Deduction. In C. Üankin Ed., Proceedings of the European Symposium on Programming, LNCS (Lisbon, Portugal, April 1998). Springer-Verlag.
3. Chen, W. and Warren, D. S. 1996. Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM J3, 1 (January), 20-74.
4. Danvy, O., Glück, R., and Thiemann, P. Eds. 1996. Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, Number 1110 in LNCS (Schloß Dagstuhl, February 1996). Springer-Verlag.
5. De Schreye, D., Glück, R., Jorgensen, J., Leuschel, M., Martens, B., and Sørensen, M. H. 1997. Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments. Submitted for Publication.
6. Decorte, S., De Schreye, D., Leuschel, M., Martens, B., and Sagonas, K. 1997. Termination Analysis for Tabled Logic Programming. In N. FUCHS Ed., Proceedings of LOP- STR’97: Logic Program Synthesis and Transformation, LNCS (Leuven, Belgium, July 1997). Springer-Verlag.
7. Gallagher, J. 1993. Tutorial on Specialisation of Logic Programs. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (Copenhagen, Denmark, June 1993), pp. 88-98. ACM Press.
8. Jones, N. D. 1996. An Introduction to Partial Evaluation. ACM Computing Surveys 28, 3 (September), 480-503.
9. Jones, N. D. 1997. Combining Abstract Interpretation and Partial Evaluation (brief overview). In P. Van HENTERYCK Ed., Proceedings of the Fourth International Symposium on Static Analysis, Number 1302 in LNCS (Paris, France, September 1997), pp. 396-405.
10. Jones, N. D., Gomard, C. K., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science.
11. Komorowski, J. 1992. An Introduction to Partial Deduction. In A. PETTOROSSI Ed., Proceedings of META-92: Meta-Programming in Logic, Number 649 in LNCS (Uppsala, Sweden, June 1992), pp. 49-69. Springer-Verlag.
12. Leuschel, M. and De Schreye, D. 1996. Logic Program Specialisation: How To Be More Specific. In H. KUCHEN and S. D. SwiERSTRA Eds., Proceedings of the International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP’96), Number 1140 in LNCS (Aachen, Germany, September 1996), pp. 137-151. Springer-Verlag.
13. Leuschel, M., Martens, B., and Sagonas, K. 1997. Preserving Termination of Tabled Logic Programs While Unfolding. In N. Fuchs Ed., Proceedings of LOPSTR’97: Logic Program Synthesis and Transformation, LNCS (Leuven, Belgium, July 1997). Springer.
14. Lloyd, J. W. and Shepherdson, J. C. 1991. Partial Evaluation in Logic Programming. Journal of Logic Programming 11, 3-4 (October/November), 217-242.
15. Pettorossi, A. and Proietti, M. 1994. Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming 19-20, 261-320.
16. Puebla, G., Gallagher, J., and Hermenegildo, M. 1997. Towards Integrating Partial Evaluation in a Specialisation Framework based on Generic Abstract Interpretation. In M. LEUSCHEL Ed., Proceedings of the International Workshop on Specialisation of Declarative Languages and its Applications (Port Jefferson, N. Y., October 1997), pp. 29-38.
17. Sagonas, K., Swift, T., and Warren, D. S. 1994. XSB as an Efficient Deductive Database Engine. In Proceedings of the ACM SIGMOD International Conference on the Management of Data (Minneapolis, Minnesota, May 1994), pp. 442-453. ACM Press.
18. Tamaki, H. and Sato, T. 1986. OLD Resolution with Tabulation. In E. Shapiro Ed., Proceedings of the Third International Conference on Logic Programming, Number 225 in LNCS (London, July 1986), pp. 84-98. Springer-Verlag.
19. Warren, D. S. 1992. Memoingfor Logic Programs. Commun. ACM 35, 3 (March), 93-111.