ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Termination of well-typed logic programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic (TOCL)
On logic programs that always succeed
Science of Computer Programming
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
On modular termination proofs of general logic programs
Theory and Practice of Logic Programming
Classes of terminating logic programs
Theory and Practice of Logic Programming
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming
Verifying termination and error-freedom of logic programs with block declarations
Theory and Practice of Logic Programming
Bounded Nondeterminism of Logic Programs
Annals of Mathematics and Artificial Intelligence
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Quasi-terminating logic programs for ensuring the termination of partial evaluation
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Recurrence with affine level mappings is p-time decidable for clp$({\mathbb r})$
Theory and Practice of Logic Programming
Totally correct logic program transformations via well-founded annotations
Higher-Order and Symbolic Computation
An abstract interpretation approach to termination of logic programs
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Towards scalable partial evaluation of declarative programs
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Input-termination of logic programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Fast and accurate strong termination analysis with an application to partial evaluation
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
| Hi-index | 0.00 |