Termination Analysis with Types Is More Accurate.

Vitaly Lagoon Frédéric Mesnard Peter J. Stuckey

Published in: ICLP (2003)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
databases
information systems
evaluation method