Creating specialised integrity checks through partial evaluation of meta-interpreters
- 1 August 1998
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 36 (2), 149-193
- https://doi.org/10.1016/s0743-1066(97)10012-7
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Automatic finite unfolding using well-founded measuresThe Journal of Logic Programming, 1996
- A new method for integrity constraint checking in deductive databasesData & Knowledge Engineering, 1995
- Why untyped nonground metaprogramming is not (much of) a problemThe Journal of Logic Programming, 1995
- Partial deduction of updateable definite logic programsThe Journal of Logic Programming, 1994
- Loop checking in partial deductionThe Journal of Logic Programming, 1993
- Proving termination properties of prolog programs: A semantic approachThe Journal of Logic Programming, 1992
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Metainterpreters for expert system constructionThe Journal of Logic Programming, 1989
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984