Controlling generalization and polyvariance in partial deduction of normal logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Advanced Logic Program Specialisation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
The transformational approach to program development
A 25-year perspective on logic programming
Hi-index | 0.00 |