Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters

Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Michael Leuschel , Danny De Schreye

Citations:

18 - 10 self

BibTeX

@MISC{Leuschel94creatingspecialised,
    author = {Michael Leuschel and Danny De Schreye},
    title = {Creating Specialised Integrity Checks Through Partial Evaluation Of Meta-Interpreters},
    year = {1994}
}

Bookmark

OpenURL

Abstract

Citations

1739	Foundations of logic programming - Lloyd
593	Partial Evaluation and Automatic Program Generation - Jones, Gomard, et al. - 1993
585	The Art of Prolog - Sterling, Shapiro - 1986
386	Introduction to Logic Programming - Apt - 1990
239	The Godel Programming Language - Hill, Lloyd - 1994
230	Tutorial notes on partial evaluation - Consel, Danvy - 1993
230	Partial evaluation in logic programming - Lloyd, Shepherdson - 1991
161	Making Prolog more expressive - Lloyd, Topor - 1984
160	Partial Evaluation of Computation Process - an Approach to a Compiler-Compiler. Systems - Futamura - 1971
141	Tutorial on specialisation of logic programs - Gallagher - 1993
94	An Automatic Partial Evaluator for Full Prolog - Sahlin - 1991
87	Automatic online partial evaluation - Weise, Conybeare, et al. - 1991
78	A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases - Bry, Decker, et al. - 1988
68	A tour of schism: a partial evaluation system for higher-order applicative languages - Consel - 1993
61	SLDNFA: an abductive procedure for normal abductive programs - Denecker, Schreye - 1998
61	The derivation of an algorithm for program specialisation - Gallagher, Bruynooghe - 1991
60	A Theorem-Proving Approach to Database Integrity - Sadri, Kowalski - 1987
59	A general criterion for avoiding infinite unfolding during partial deduction - Bruynooghe, Schreye, et al. - 1992
57	Controlling generalisation and polyvariance in partial deduction of normal logic programs - Leuschel, Martens, et al. - 1998
52	A basis for deductive database systems - Lloyd, Topor - 1985
50	Stepwise development of operational and denotational semantics for Prolog - Jones, Mycroft - 1984
48	The ecce partial deduction system and the dppd library of benchmarks. Available via http://www.cs.kuleuven.ac.be/~lpai - Leuschel
44	Loop checking in partial deduction - Bol - 1993
43	Meta-programming in logic programming - Hill, Gallagher - 1998
43	An introduction to partial deduction - Komorowski - 1992
43	On the efficient computation of the difference between consecutive database states - Küchenhoff - 1991
39	Integrity Enforcement in Deductive Databases - Decker - 1986
37	De Schreye. Automatic finite unfolding using well-founded measures - Martens, D - 1996
35	Logimix: A self-applicable partial evaluator for Prolog - Mogensen, Bondorf
33	De Schreye. Logic program specialisation: How to be more specific - Leuschel, D - 1996
33	Partial evaluation of Prolog programs and its application to meta programming - Takeuchi, Furukawa - 1986
31	A Self-Applicable Partial Evaluator for the Logic Programming Language Gödel - Gurr
28	Integrity Verification in Knowledge Bases - Bry, Manthey, et al. - 1992
27	Binding-time analysis and the taming of C pointers - Andersen - 1993
27	Compiling integrity checking into update procedures - Wallace - 1991
26	Schreye. Why untyped non-ground metaprogramming is not (much of) a problem - Martens, De - 1995
25	Advanced Techniques for Logic Program Specialisation - Leuschel - 1997
25	Sound and complete partial deduction with unfolding based on well-founded measures - Martens, Schreye, et al. - 1994
25	Language and equality theory in logic programming - Shepherdson - 1988
23	The Application of Partial Evaluation to Ray-Tracing - Mogensen - 1986
21	Schreye. Constrained partial deduction and the preservation of characteristic trees - Leuschel, De - 1998
21	On the Semantics of Meta-Programming and the Control of Partial Deduction - Martens - 1994
21	Meta interpreters for expert system construction - Sterling, Beer - 1989
20	Towards fast and declarative meta-programming - Bowers, Gurr - 1995
20	Semantics preserving transformation rules for Prolog - Proietti, Pettorossi - 1991
19	Partial deduction of the ground representation and its application to integrity checking - Leuschel, Martens - 1995
17	A self-applicable partial evaluator and its use in incremental compilation - Fujita, Furukawa - 1988
17	Towards creating specialised integrity checks through partial evaluation of meta-interpreters - Leuschel, Schreye - 1995
16	Binding-time analysis applied to mathematical algorithms - Glück, Nakashige, et al. - 1995
16	The PADDY partial deduction system - Prestwich - 1992