Advanced Logic Program Specialisation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Transformation Systems and Nondeclarative Properties
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Hi-index | 0.00 |