Tutorial on specialisation of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
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
Compiling integrity checking into update procedures
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |