Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Homeomorphic embedding for online termination of symbolic methods
The essence of computation
Offline specialisation in Prolog using a hand-written compiler generator
Theory and Practice of Logic Programming
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Hi-index | 0.00 |