Toward the partial evaluation of CLP languages
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Communications of the ACM
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 of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
| Hi-index | 0.02 |