Extending partial deduction to tabled execution

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Extending partial deduction to tabled execution: some results and open issues

Full text

Pdf (138 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 30 , Issue 3es (September 1998) table of contents
Special issue: electronic supplement to the September 1998 issue

Article No. 16

Year of Publication: 1998

ISSN:0360-0300

Authors

Konstantinos Sagonas	Katholieke Universiteit Leuven
Michael Leuschel	Katholieke Universiteit Leuven

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 35, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289121.289137 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Dmitri Boulanger , Maurice Bruynooghe, Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation, Journal of Symbolic Computation, v.15 n.5-6, p.495-521, May/June 1993 [doi>10.1016/S0747-7171(06)80003-9]
	2	Maurice Bruynooghe , Michael Leuschel , Konstantinos F. Sagonas, A Polyvariant Binding-Time Analysis for Off-line Partial Deduction, Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems, p.27-41, March 28-April 04, 1998
	3	Weidong Chen , David S. Warren, Tabled evaluation with delaying for general logic programs, Journal of the ACM (JACM), v.43 n.1, p.20-74, Jan. 1996 [doi>10.1145/227595.227597]
	4	Selected Papers from the Internaltional Seminar on Partial Evaluation, February 1996
	5	DE SCHREYE, D., GLI)CK, R., JORGENSEN, J., LEUSCHEL, M., MARTENS, B., AND SORENSEN, M.H. 1997. Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments. Submitted for Publication.
	6	Stefaan Decorte , Danny De Schreye , Michael Leuschel , Bern Martens , Konstantinos F. Sagonas, Termination Analysis for Tabled Logic Programming, Proceedings of the 7th International Workshop on Logic Programming Synthesis and Transformation, p.111-127, July 10-12, 1997
	7	J. P. Gallagher, Tutorial on specialisation of logic programs, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.88-98, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154640]
	8	Neil D. Jones, An introduction to partial evaluation, ACM Computing Surveys (CSUR), v.28 n.3, p.480-503, Sept. 1996 [doi>10.1145/243439.243447]
	9	Neil D. Jones, Combining Abstract Interpretation and Partial Evaluation (Brief Overview), Proceedings of the 4th International Symposium on Static Analysis, p.396-405, September 08-10, 1997
	10	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	11	Henryk Jan Komorowski, An Introduction to Partial Deduction, Proceedings of the 3rd International Workshop on Meta-Programming in Logic, p.49-69, June 10-12, 1992
	12	Michael Leuschel , Danny De Schreye, Logic Program Specialisation: How To Be More Specific, Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs, p.137-151, September 24-27, 1996
	13	Michael Leuschel , Bern Martens , Konstantinos F. Sagonas, Preserving Termination of Tabled Logic Programs While Unfolding, Proceedings of the 7th International Workshop on Logic Programming Synthesis and Transformation, p.189-205, July 10-12, 1997
	14	J. W. Lloyd , J. C. Shepherdson, Partial evaluation in logic programming, Journal of Logic Programming, v.11 n.3-4, p.217-242, Oct./Nov. 1991 [doi>10.1016/0743-1066(91)90027-M ]
	15	PETTOROSSI, A. AND PROIETTI, M. 1994. Transformation of Logic Programs: Foundations and Techniques. Journal of Logic Programming 19 ~4 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. LEUSGHEL Ed., Proceedings of the International Workshop on Specialisation of Declarative Languages and its Applications (Port Jefferson, N.Y., October 1997), pp. 29-38.
	17	Konstantinos Sagonas , Terrance Swift , David S. Warren, XSB as an efficient deductive database engine, Proceedings of the 1994 ACM SIGMOD international conference on Management of data, p.442-453, May 24-27, 1994, Minneapolis, Minnesota, United States
	18	Hisao Tamaki , Taisuke Sato, OLD resolution with tabulation, Proceedings on Third international conference on logic programming, p.84-98, September 1986, London, United Kingdom
	19	David S. Warren, Memoing for logic programs, Communications of the ACM, v.35 n.3, p.93-111, March 1992 [doi>10.1145/131295.131299]