Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

Full text

Pdf (1.24 MB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

La Jolla, California, United States

Pages: 253 - 263

Year of Publication: 1995

ISBN:0-89791-720-0

Authors

Michael Leuschel	Department of Computer Science, K.U. Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium
Danny De Schreye	Department of Computer Science, K.U. Leuven, Celestijnenlaan 200A, B-3001 Heverlee, Belgium

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/215465.215598 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	Krzysztof R. Apt, Logic programming, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
	2	K. Benkerimi and J. C. Shepherdson. Partial deduction of updateable definite logic programs. The Journal of Logic Programming, 18(1):1-27, January 1994.
	3	Antony F. Bowers , Corin A. Gurr, Towards fast and declarative meta-programming, Meta-logics and logic programming, MIT Press, Cambridge, MA, 1995
	4	François Bry , Hendrik Decker , Rainer Manthey, A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases, Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology, p.488-505, March 14-18, 1988
	5	F. Bry and R. Manthey. Tutorial on deductive databases. In Logic Programming Summer School, 1990.
	6	François Bry , Rainer Manthey , Bern Martens, Integrity Verification in Knowledge Bases, Proceedings of the First Russian Conference on Logic Programming, p.114-139, September 14-18, 1990
	7	Charles Consel, A tour of Schism: a partial evaluation system for higher-order applicative languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.145-154, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154645]
	8	S. K. Das , M. H. Williams, A path finding method for constraint checking in deductive databases, Data & Knowledge Engineering, v.4 n.3, p.223-244, Sep. 1989 [doi>10.1016/0169-023X(89)90021-9]
	9	Danny De Schreye , Bern Martens, A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation, Proceedings of the 3rd International Workshop on Meta-Programming in Logic, p.192-204, June 10-12, 1992
	10	H. Decker. Integrity enforcement on deductive databases. In L. Kerschberg, editor, Proceedings of the 1st International Conference on Expert Database Systems, pages 381-395, Charleston, South Carolina, 1986. The Benjamin/Cummings Publishing Company, Inc.
	11	A. P. Ershov. On Futamura projections. BIT (Japan}, 12(14):4-5, 1982. In Japanese.
	12	Y. Futamura. Partial evaluation of a computation process -- an approach to a compiler-compiler. Systems, Computers, Controls, 2(5):45-50, 1971.
	13	J. Gallagher. A system for specialising logic programs. Technical Report TR-91-32, University of Bristol, November 1991.
	14	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]
	15	J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialisation. New Generation Computing, 9(3 & 4):305-333, 1991.
	16	C. A. Gurr. A Self-Applicable Partial Evaluator for the Logic Programming Language GJdel. PhD thesis, Department of Computer Science, University of Bristol, January 1994.
	17	C. A. Gurr. Specialising the ground representation in the logic programming language GSdel. In Y. Deville, editor, Logic Program Synthesis and Transformation. Proceedings of LOPSTR'93, Workshops in Computing, pages 124-140, Louvain-La-Neuve, Belgium, 1994. Springer-Verlag.
	18	P. M. Hill , J. Gallagher, Meta-Programming in Logic Progamming, University of Bristol, Bristol, UK, 1998
	19	Patricia Hill , John Lloyd, The Go¨del programming language, MIT Press, Cambridge, MA, 1994
	20	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	21	J. Komorowksi. A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation. PhD thesis, LinkSping University, Sweden, 1981. LinkSping Studies in Science and Technology Dissertations 69.
	22	M. Leuschel. Self-applicable partial evaluation in Prolog. Master's thesis, K.U. Leuven, 1993.
	23	Michael Leuschel, Partial Evaluation of the "Real Thing", Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic, p.122-137, June 20-21, 1994
	24	J. W. Lloyd, Foundations of logic programming; (2nd extended ed.), Springer-Verlag New York, Inc., New York, NY, 1987
	25	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]
	26	J. W. Lloyd , E. A. Sonenberg , R. W. Topor, Integrity constraint checking in stratified databases, Journal of Logic Programming, v.4 n.4, p.331-343, December 1, 1987 [doi>10.1016/0743-1066(87)90009-4]
	27	J. W. Lloyd and R. W. Topor. A basis for deductive database systems. The Journal of Logic Programming, 2:93-109, 1985.
	28	B. Martens. Finite unfolding revisited (part II): Focusing on subterms. Technical Report Compulog II, D 8.2.2.b, Departement Computerwetenschappen, K.U. Leuven, Belgium, 1994.
	29	Bern Martens , Danny De Schreye, Two semantics for definite meta-programs, using the non-ground representation, Meta-logics and logic programming, MIT Press, Cambridge, MA, 1995
	30	B. Martens and D. De Schreye. Why untyped nonground meta-programming is not (much of) a problem. Journal of Logic Programming, 22(1):47-99, 1995.
	31	T. Mogensen and A. Bondorf. Logimix: A selfapplicable partial evaluator for Prolog. In K.-K. Lau and T. Clement, editors, Logic Program Synthesis and Transformation. Proceedings of LOPSTR'92, pages 214-227. Springer-Verlag, 1992.
	32	S. Prestwich. The PADDY partial deduction system. Technical Report ECRC-92-6, ECB.C, Munich, Germany, 1992.
	33	S. Prestwich. An unfold rule for full Prolog. In K.- K. Lau and T. Clement, editors, Logic Program Synthesis and Transformation. Proceeding~ of LOPSTR '9~, Workshops in Computing, "University of Manchester, 1992. Springer-Verlag.
	34	Steven Prestwich, Online partial deduction of logic programs, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.111-118, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154642]
	35	Prolog by BIM 4.0, October 1993.
	36	F. Sadri , R. Kowalski, A theorem-proving approach to database integrity, Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	37	Dan Sahlin, Mixtus: an automatic partial evaluator for full Prolog, New Generation Computing, v.12 n.1, p.7-51, 1993 [doi>10.1007/BF03038271]
	38	M. Wallace. Compiling integrity checking into update procedures. In J. Mylopoulos and R. Reiter, editors, Proceeding8 of IJCAI, Sydney, Australia, 1991.

CITED BY 4

	Michael Leuschel , Bern Martens , Danny De Schreye, Controlling generalization and polyvariance in partial deduction of normal logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.1, p.208-258, Jan. 1998
	Neil D. Jones, An introduction to partial evaluation, ACM Computing Surveys (CSUR), v.28 n.3, p.480-503, Sept. 1996
	Michael Leuschel , Maurice Bruynooghe, Logic program specialisation through partial deduction: Control issues, Theory and Practice of Logic Programming, v.2 n.4-5, p.461-515, July 2002
	Robert Glück, An investigation of Jones optimality and BTI-universal specializers, Higher-Order and Symbolic Computation, v.21 n.3, p.283-309, September 2008