Termination Analysis of Tabled Logic Programs Using Mode and Type Information.
Sofie Verbaeten, Danny De Schreye
VenueNationalFLOPS
Year1999
ProceedingsFuji International Symposium on Functional and Logic Programming
DBLP recordconf/flops/VerbaetenS99 ↗
Browse the full FLOPS paper archive.