PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The size-change principle for program termination
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-Order and Symbolic Computation
Dependent Types for Program Termination Verification
Higher-Order and Symbolic Computation
On proving left termination of constraint logic programs
ACM Transactions on Computational Logic (TOCL)
Inferring and Compiling Termination for Constraint Logic Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Detecting Optimal Termination Conditions of Logic Programs
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Program Termination Analysis by Size-Change Graphs (Abstract)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Flexible access control policy specification with constraint logic programming
ACM Transactions on Information and System Security (TISSEC)
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
Termination analysis and specialization-point insertion in offline partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Journal of Automated Reasoning
A non-termination criterion for binary constraint logic programs
Theory and Practice of Logic Programming
Regular approximation and bounded domains for size-change termination
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
A new look at the automatic synthesis of linear ranking functions
Information and Computation
Hi-index | 0.00 |