Control generation for logic programs

Proving concurrent constraint programs correct

ACM Transactions on Programming Languages and Systems (TOPLAS)

Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Classes of terminating logic programs

Theory and Practice of Logic Programming

Verifying termination and error-freedom of logic programs with block declarations

Theory and Practice of Logic Programming

Termination of simply moded logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Logic program specialisation through partial deduction: Control issues

Theory and Practice of Logic Programming

Control Generation by Program Transformation

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2

Inferring non-suspension conditions for logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Control Generation by Program Transformation

Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2