On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
On logic programs that always succeed
Science of Computer Programming
Classes of terminating logic programs
Theory and Practice of Logic Programming
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Hi-index | 0.00 |