Proving termination of logic programs by exploiting term properties

Authors:
A. Bossi;N. Cocco;M. Fabris
Affiliations:
-;-;-
Venue:
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Advances in distributed computing (ADC) and colloquium on combining paradigms for software development (CCPSD): Vol. 2
Year:
1991

Citing 0
Cited 3

Modelling Prolog control

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Suspension analyses for concurrent logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint-based termination analysis of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract