Integrity constraint checking in stratified databases
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
A path finding method for constraint checking in deductive databases
Data & Knowledge Engineering
Handbook of theoretical computer science (vol. B)
Partial evaluation in logic programming
Journal of Logic Programming
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Tutorial on specialisation of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Online partial deduction of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A tour of Schism: a partial evaluation system for higher-order applicative languages
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The Go¨del programming language
The Go¨del programming language
Mixtus: an automatic partial evaluator for full Prolog
New Generation Computing
Two semantics for definite meta-programs, using the non-ground representation
Meta-logics and logic programming
Towards fast and declarative meta-programming
Meta-logics and logic programming
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Integrity Verification in Knowledge Bases
Proceedings of the First Russian Conference on Logic Programming
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Partial Evaluation of the "Real Thing"
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Meta-Programming in Logic Progamming
Meta-Programming in Logic Progamming
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
An investigation of Jones optimality and BTI-universal specializers
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |