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

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn Part F129370, Issue , 1995, Pages 253-263

  Leuschel, Michael ^a   Schreyet, Danny De ^a  

^a Department of Computer Science ^*  (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT DATABASES; SEMANTICS;

FIRST ORDER; INTEGRITY CHECK; INTEGRITY CHECKING; INTEGRITY CONSTRAINTS; META-INTERPRETERS; PARTIAL EVALUATION; SIDE EFFECT; TRANSACTION PATTERNS;

DATABASE SYSTEMS;

EID: 84957654042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/215465.215598     Document Type: Conference Paper

References (38)

1. K. R. Apt. Introduction to logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 10, pages 495-574. North-Holland Amsterdam, 1990.
2. K. Benkerimi and J. C. Shepherdson. Partial deduction of updateable definite logic programs. The Journal of Logic Programming, 18(l):l-27, January 1994.
3. A. F. Bowers and C. A. Gurr. Towards fast and declarative meta-programming. In K. R. Apt and F. Turini, editors, Meta-logics and Logic Programming, pages 137-166. MIT Press, 1995. To Appear.
4. F. Bry, , H. Decker, and R. Manthey. A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. In J. Schmidt, S. Ceri, and M. Missikoff, editors, Proceedings of the International Conference on Extending Database Technology, Lecture Notes in Computer Science, pages 488-505, Venice, Italy, 1988. Springer-Verlag.
5. F. Bry and R. Manthey. Tutorial on deductive databases. In Logic Programming Summer School, 1990.
6. F. Bry, R. Manthey, and B. Martens. Integrity verification in knowledge bases. In A. Voronkov, editor, Logic Programming. Proceedings of the First and Second Russian Conference on Logic Programming, Lecture Notes in Computer Science 592, pages 114-139. Springer-Verlag, 1991.
7. C. Consel. A tour of Schism: A partial evaluation system for higher-order applicative languages. In Proceedings of PEPM'93, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 145-154. ACM Press, 1993.
8. S. Das and M. Williams. A path finding method for constraint checking in deductive databases. Data & Knowledge Engineering, 4:223-244, 1989.
9. D. De Schreye and B. Martens. A sensible least Herbrand semantics for untyped vanilla meta-programming. In A. Pettorossi, editor, Proceedings Meta'92, Lecture Notes in Computer Science 649, pages 192-204. Springer Verlag, 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. Gallagher. Tutorial on specialisation of logic programs. In Proceedings of PEPM'93, the A CM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88-98. ACM Press, 1993.
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 Godel. PhD thesis, Department of Computer Science, University of Bristol, January 1994.
17. C. A. Gurr. Specialising the ground representation in the logic programming language Godel. 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. Hill and J. Gallagher. Meta-programming in logic programming. Technical Report 94.22, School of Computer Studies, University of Leeds, 1994. To be published in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5. Oxford Science Publications, Oxford University Press.
19. P. Hill and J. Lloyd. The Godel Programming Language. MIT Press, 1994.
20. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
21. J. Komorowksi. A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation. PhD thesis, Linkoping University, Sweden, 1981. Linkoping Studies in Science and Technology Dissertations 69.
22. M. Leuschel. Self-applicable partial evaluation in Prolog. Master's thesis, K.U. Leuven, 1993.
23. M. Leuschel. Partial evaluation of the "real thing". In Logic Program Synthesis and Transformation. Proceedings ofLOPSTR'94, Pisa, Italy, 1994. To be published.
24. J. Lloyd. Foundations of Logic Programming. Springer Verlag, 1987.
25. J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11:217-242, 1991.
26. J. W. Lloyd, E. A. Sonenberg, and R. W. Topor. Integrity checking in stratified databases. Journal of Logic Programming, 4(4):331-343, 1987.
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. B. Martens and D. De Schreye. Two semantics for definite meta-programs, using the non-ground representation. In K. R. Apt and F. Turini, editors, Meta-logics and Logic Programming, pages 57-82. MIT Press, 1995. To Appear.
30. B. Martens and D. De Schreye. Why untyped non-ground meta-programming is not (much of) a problem. Journal of Logic Programming, 22(l):47-99, 1995.
31. T. Mogensen and A. Bondorf. Logimix: A self-applicable 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, ECRC, 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. Proceedings of LOPSTR'92, Workshops in Computing, University of Manchester, 1992. Springer-Verlag.
34. S. Prestwich. Online partiail deduction of large programs. In Proceedings of PEPM'93, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 111-118. ACM Press, 1993.
35. Prolog by BIM 4.0, October 1993.
36. F. Sadri and R. Kowalski. A theorem-proving approach to database integrity. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, chapter 9, pages 313-362. Morgan Kaufmann Publishers, Inc., Los Altos, California, 1988.
37. D. Sahlin. Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing, 12(1):7-51, 1993.
38. M. Wallace. Compiling integrity checking into update procedures. In J. Mylopoulos and R. Reiter, editors, Proceedings of IJCAI, Sydney, Australia, 1991.