Regular Tree Languages as an Abstract Domain in Program Specialisation
Higher-Order and Symbolic Computation
Advanced Logic Program Specialisation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Bottom-Up Specialisation of Logic Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Hi-index | 0.00 |