Termination Analysis of Tabled Logic Programs Using Mode and Type Information

Authors:
Sofie Verbaeten;Danny De Schreye
Affiliations:
-;-
Venue:
FLOPS '99 Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming
Year:
1999

Citing 0
Cited 2

Termination proofs for logic programs with tabling

ACM Transactions on Computational Logic (TOCL)
Termination of well-typed logic programs

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract